# LaTeX2HTML 95.1 (Fri Jan 20 1995)
# Associate image original text (scrambled) with physical files.

$key = q/{}psfigfigure=r11-1.ps,height=1.5in{}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img3.gif">'; 
$key = q/{tabular}p3.2in|p3.2inhlinecenterlinebfDispatchMethodvspace-0.15in;SPM_amp;centerlinebfTableMethodvspace-0.15inhlineminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(MULxy)(cond((and(rat?x)(rat?y))(mul-rat(contentsx)(contentsy)))((and(int?x)(int?y))(mul-int(contentsx)(contentsy)))(else(error;SPM_quot;Nomethodavail.;SPM_quot;))))listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(apply-genericop.args)(let((type-tags(maptypeargs)))(let((proc(getoptype-tags)))(ifproc(applyproc(mapcontentsargs))(error;SPM_quot;Nomethodavailable;SPM_quot;)))))null(define(MULxy)(apply-generic'mulxy))(put'mul'(ratrat)mul-rat)(put'mul'(intint)mul-int)listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img2.gif">'; 
$key = q/{tabular}p3.2in|p3.2inhline_inline$bullet$_inlinettelement?takesasinputanelementandasetandreturnstrueiftheelementisintheset.minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(element?xs)colorHiddenAnswer(not(null?(filter(lambda(elt)(eq?eltx))s)))colorEndOfAnswer)listminipagevspace0.05in_inline$bullet$_inlinettadjointakesasinputanelementandasetandreturnsanewsetwiththatelementadded.minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(adjoinxs)colorHiddenAnswer(if(element?xs)s(consxs))colorEndOfAnswer)listminipagevspace0.05in_inline$bullet$_inlinettuniontakesasinputtwosetsandreturnsanewsetwillallelementsfrombothsets.minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(unionst)colorHiddenAnswer(accumulateadjoints)colorEndOfAnswer)listminipage;SPM_amp;_inline$bullet$_inlinettintersectiontakesasinputtwosetsandreturnsanewsetcontaininganyelementcontainedinbothoftheinputsets.minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(intersectionst)colorHiddenAnswer(filter(lambda(x)(element?xt)s))colorEndOfAnswer)listminipagevspace0.15in_inline$bullet$_inlinettset-takesasinputtwosetsandreturnsanewsetcontainingallelementsofthefirstsetthatarenotinthesecondsetminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(set-st)colorHiddenAnswer(filter(lambda(x)(not(element?xt)s)))colorEndOfAnswer)listminipagehline{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img5.gif">'; 
$key = q/{tabular}p3.5inp3invspace-0.6inbf2.Therearethreemainwaysofdealingwith<verb_mark>1<verb_mark>operationsonthesedifferenttypes:smallitemizevspace-0.07initembfDumb:Implementeachboxseparately,andbesuretousetherightprocedure.vspace-0.1initembfTypeDispatch:Make``SmartProcedures''fromtheColumns.vspace-0.1initembfObjectOriented:Make``SmartData''fromtheRows.itemize;SPM_amp;footnotesizetabular|c||c|c|c|hline;SPM_amp;MUL;SPM_amp;ADD;SPM_amp;SUBhlinehlinerat;SPM_amp;footnotesizettmul-rat;SPM_amp;footnotesizettadd-rat;SPM_amp;footnotesizettsub-rathlineint;SPM_amp;footnotesizettmul-int;SPM_amp;footnotesizettadd-int;SPM_amp;footnotesizettsub-inthlinecomplex;SPM_amp;footnotesizettmul-complex;SPM_amp;footnotesizettadd-complex;SPM_amp;footnotesizettsub-complexhlinepoly;SPM_amp;footnotesizettmul-poly;SPM_amp;footnotesizettadd-poly;SPM_amp;footnotesizettsub-polyhlinesets;SPM_amp;footnotesizettset-xsect;SPM_amp;footnotesizettset-union;SPM_amp;footnotesizettset-subhline...;SPM_amp;footnotesizett...;SPM_amp;footnotesizett...;SPM_amp;footnotesizett...hlinetabular{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img4.gif">'; 
$key = q/{tabular}p3.5inp3invspace-0.5inWhataretheordersofgrowthofthesefunctionsintimeandspace?vspace0.05inSomeoftheseoperationsareveryexpensive?Isthereanywaythatwecandobetterthanthis?colorHiddenAnswerSortedsetsusingttsymbol;SPM_lt;colorEndOfAnswer;SPM_amp;tabular|l|c|c|hline;SPM_amp;Time;SPM_amp;Spacehlinettelement?;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inline;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inlinettadjoin;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inline;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inlinettunion;SPM_amp;_inline$Theta(colorHiddenAnswern^2colorEndOfAnswer)$_inline;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inlinettintersection;SPM_amp;_inline$Theta(colorHiddenAnswern^2colorEndOfAnswer)$_inline;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inlinettset-;SPM_amp;_inline$Theta(colorHiddenAnswern^2colorEndOfAnswer)$_inline;SPM_amp;_inline$Theta(colorHiddenAnswerncolorEndOfAnswer)$_inlinehlinetabular{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img6.gif">'; 
$key = q/{tabular}p3.2in|p3.2inhlinecenterlinebfTypeAbstractionvspace-0.15in;SPM_amp;centerlinebfRationalsandIntegersvspace-0.15inhlineminipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(attach-typetypecontents)(constypecontents))null(define(typedatum)(if(pair?datum)(cardatum)(error;SPM_quot;BadDatum;SPM_quot;)))null(define(contentsdatum)(if(pair?datum)(cdrdatum)(error;SPM_quot;BadDatum'')))listminipage;SPM_amp;minipage[t]linewidthlist_inline$bullet$_inline%setlengthtopsep0insetlengthpartopsep0insetlengthitemsep0insetlengthparsep0insetlengthleftmargin1.5emsetlengthrightmargin0insetlengthitemindent0initem[]obeyspacesobeylinesfootnotesizett(define(make-ratnd)(attach-type'rat(consnd)))(define(numerx)(carx))(define(denomx)(cdrx))null(define(mul-ratxy)(make-rat(MUL(numerx)(numery))(MUL(denomx)(denomy))))null(define(make-intn)(attach-type'intn))(define(mul-intn1n2)(make-int(*n1n2)))listminipage{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img1.gif">'; 

1;

