1\relax 2\@writefile{toc}{\contentsline {chapter}{\numberline {12}Extended Examples}{379}} 3\@writefile{lof}{\addvspace {10\p@ }} 4\@writefile{lot}{\addvspace {10\p@ }} 5\newlabel{CHPTEXAMPLES}{{12}{379}} 6\citation{Kernighan:C} 7\newlabel{./examples:s0}{{12}{381}} 8\newlabel{SECTEXMATMUL}{{12.1}{381}} 9\@writefile{toc}{\contentsline {section}{\numberline {12.1}Matrix and Vector Multiplication}{381}} 10\newlabel{./examples:s1}{{12.1}{381}} 11\newlabel{./examples:s2}{{12.1}{382}} 12\newlabel{./examples:s3}{{12.1}{383}} 13\newlabel{./examples:s4}{{12.1.1}{386}} 14\newlabel{./examples:s5}{{12.1.2}{386}} 15\newlabel{exercise:reliable}{{12.1.2}{386}} 16\newlabel{./examples:s6}{{12.1.3}{386}} 17\newlabel{./examples:s7}{{12.1.4}{386}} 18\newlabel{./examples:s8}{{12.1.5}{386}} 19\newlabel{SECTEXSORTMERGE}{{12.2}{387}} 20\@writefile{toc}{\contentsline {section}{\numberline {12.2}Sorting}{387}} 21\newlabel{./examples:s9}{{12.2}{387}} 22\newlabel{./examples:s10}{{12.2}{387}} 23\newlabel{./examples:s11}{{12.2}{387}} 24\newlabel{./examples:s12}{{12.2.1}{388}} 25\newlabel{./examples:s13}{{12.2.2}{388}} 26\newlabel{./examples:s14}{{12.2.3}{388}} 27\citation{Plaisted:sets} 28\newlabel{SECTEXSETS}{{12.3}{389}} 29\@writefile{toc}{\contentsline {section}{\numberline {12.3}A Set Constructor}{389}} 30\newlabel{./examples:s15}{{12.3}{389}} 31\newlabel{./examples:s16}{{12.3}{389}} 32\newlabel{./examples:s17}{{12.3}{389}} 33\newlabel{./examples:s18}{{12.3}{389}} 34\citation{Kernighan:C} 35\newlabel{./examples:s19}{{12.3.1}{392}} 36\newlabel{./examples:s20}{{12.3.2}{392}} 37\newlabel{./examples:s21}{{12.3.2}{392}} 38\newlabel{./examples:s22}{{12.3.3}{392}} 39\newlabel{SECTEXWORDFREQ}{{12.4}{393}} 40\@writefile{toc}{\contentsline {section}{\numberline {12.4}Word Frequency Counting}{393}} 41\newlabel{./examples:s23}{{12.4}{393}} 42\newlabel{./examples:s24}{{12.4}{393}} 43\citation{r6rsapps} 44\newlabel{./examples:s25}{{12.4.1}{396}} 45\newlabel{./examples:s26}{{12.4.2}{396}} 46\newlabel{./examples:s27}{{12.4.3}{396}} 47\newlabel{./examples:s28}{{12.4.4}{396}} 48\newlabel{./examples:s29}{{12.4.5}{396}} 49\newlabel{./examples:s30}{{12.4.6}{397}} 50\newlabel{SECTEXPRINTER}{{12.5}{397}} 51\@writefile{toc}{\contentsline {section}{\numberline {12.5}Scheme Printer}{397}} 52\newlabel{./examples:s31}{{12.5}{397}} 53\newlabel{./examples:s32}{{12.5}{397}} 54\newlabel{./examples:s33}{{12.5}{397}} 55\newlabel{./examples:s34}{{12.5.1}{400}} 56\newlabel{./examples:s35}{{12.5.2}{400}} 57\newlabel{EXOBJTOSTR}{{12.5.2}{400}} 58\newlabel{./examples:s36}{{12.5.3}{400}} 59\newlabel{SECTEXPRINTF}{{12.6}{401}} 60\@writefile{toc}{\contentsline {section}{\numberline {12.6}Formatted Output}{401}} 61\newlabel{./examples:s37}{{12.6}{401}} 62\newlabel{./examples:s38}{{12.6}{401}} 63\newlabel{./examples:s39}{{12.6}{401}} 64\newlabel{./examples:s40}{{12.6.1}{402}} 65\newlabel{./examples:s41}{{12.6.2}{402}} 66\newlabel{./examples:s42}{{12.6.3}{403}} 67\newlabel{./examples:s43}{{12.6.4}{403}} 68\newlabel{./examples:s44}{{12.6.5}{403}} 69\newlabel{./examples:s45}{{12.6.6}{403}} 70\newlabel{SECTEXINTERPRET}{{12.7}{404}} 71\@writefile{toc}{\contentsline {section}{\numberline {12.7}A Meta-Circular Interpreter for Scheme}{404}} 72\newlabel{./examples:s46}{{12.7}{404}} 73\newlabel{./examples:s47}{{12.7}{404}} 74\newlabel{./examples:s48}{{12.7}{404}} 75\newlabel{./examples:s49}{{12.7}{404}} 76\newlabel{./examples:s50}{{12.7}{404}} 77\newlabel{./examples:s51}{{12.7}{404}} 78\newlabel{./examples:s52}{{12.7.1}{407}} 79\newlabel{./examples:s53}{{12.7.2}{407}} 80\newlabel{./examples:s54}{{12.7.3}{407}} 81\newlabel{./examples:s55}{{12.7.4}{407}} 82\newlabel{./examples:s56}{{12.7.5}{407}} 83\newlabel{./examples:s57}{{12.7.5}{407}} 84\newlabel{./examples:s58}{{12.7.5}{408}} 85\newlabel{./examples:s59}{{12.7.5}{408}} 86\newlabel{SECTEXOBJECTS}{{12.8}{408}} 87\@writefile{toc}{\contentsline {section}{\numberline {12.8}Defining Abstract Objects}{408}} 88\newlabel{./examples:s60}{{12.8}{408}} 89\newlabel{./examples:s61}{{12.8}{408}} 90\newlabel{./examples:s62}{{12.8}{408}} 91\newlabel{./examples:s63}{{12.8}{408}} 92\citation{Briggs:dft} 93\newlabel{./examples:s64}{{12.8.1}{412}} 94\newlabel{./examples:s65}{{12.8.2}{412}} 95\newlabel{./examples:s66}{{12.8.3}{412}} 96\newlabel{./examples:s67}{{12.8.3}{412}} 97\newlabel{./examples:s68}{{12.8.4}{412}} 98\newlabel{SECTEXFFT}{{12.9}{412}} 99\@writefile{toc}{\contentsline {section}{\numberline {12.9}Fast Fourier Transform}{412}} 100\newlabel{./examples:s69}{{12.9}{412}} 101\newlabel{./examples:s70}{{12.9}{412}} 102\citation{Daniel:prolog-fft} 103\citation{Daniel:prolog-fft} 104\newlabel{./examples:s71}{{12.9.1}{416}} 105\citation{Robinson:unification} 106\citation{Clocksin:prolog} 107\newlabel{./examples:s72}{{12.9.2}{417}} 108\newlabel{./examples:s73}{{12.9.3}{417}} 109\newlabel{./examples:s74}{{12.9.4}{417}} 110\newlabel{./examples:s75}{{12.9.5}{417}} 111\newlabel{SECTEXUNIFY}{{12.10}{417}} 112\@writefile{toc}{\contentsline {section}{\numberline {12.10}A Unification Algorithm}{417}} 113\newlabel{./examples:s76}{{12.10}{417}} 114\newlabel{./examples:s77}{{12.10}{418}} 115\newlabel{./examples:s78}{{12.10}{418}} 116\citation{Dybvig:engines} 117\citation{Haynes:abstracting} 118\newlabel{./examples:s79}{{12.10.1}{420}} 119\newlabel{./examples:s80}{{12.10.2}{420}} 120\newlabel{./examples:s81}{{12.10.3}{420}} 121\newlabel{SECTEXENGINES}{{12.11}{421}} 122\@writefile{toc}{\contentsline {section}{\numberline {12.11}Multitasking with Engines}{421}} 123\newlabel{./examples:s82}{{12.11}{421}} 124\newlabel{./examples:s83}{{12.11}{421}} 125\newlabel{./examples:s84}{{12.11}{421}} 126\newlabel{./examples:s85}{{12.11}{421}} 127\newlabel{./examples:s86}{{12.11}{421}} 128\newlabel{./examples:s87}{{12.11}{421}} 129\newlabel{./examples:s88}{{12.11}{421}} 130\newlabel{./examples:s89}{{1}{421}} 131\newlabel{./examples:s90}{{2}{421}} 132\newlabel{./examples:s91}{{3}{421}} 133\newlabel{./examples:s92}{{12.11}{422}} 134\newlabel{./examples:s93}{{12.11}{423}} 135\newlabel{./examples:s94}{{12.11}{423}} 136\newlabel{./examples:s95}{{12.11}{424}} 137\newlabel{./examples:s96}{{12.11}{424}} 138\newlabel{./examples:s97}{{12.11}{425}} 139\newlabel{./examples:s98}{{12.11}{425}} 140\newlabel{./examples:s99}{{12.11}{426}} 141\newlabel{./examples:s100}{{12.11}{426}} 142\newlabel{./examples:s101}{{12.11.1}{428}} 143\newlabel{./examples:s102}{{12.11.2}{428}} 144\citation{Dybvig:engines} 145\newlabel{./examples:s103}{{12.11.3}{429}} 146\newlabel{./examples:s104}{{12.11.4}{429}} 147\newlabel{./examples:s105}{{12.11.5}{429}} 148\newlabel{./examples:s106}{{12.11.5}{429}} 149\newlabel{./examples:s107}{{12.11.6}{429}} 150\newlabel{./examples:s108}{{12.11.7}{429}} 151\newlabel{./examples:s109}{{12.11.7}{429}} 152\@setckpt{examples}{ 153\setcounter{page}{430} 154\setcounter{equation}{0} 155\setcounter{enumi}{3} 156\setcounter{enumii}{0} 157\setcounter{enumiii}{0} 158\setcounter{enumiv}{0} 159\setcounter{footnote}{0} 160\setcounter{mpfootnote}{0} 161\setcounter{chapter}{12} 162\setcounter{section}{11} 163\setcounter{exercise}{7} 164\setcounter{alphacount}{3} 165} 166