This is TeX, Version 3.14159 (C version 6.1) (format=latex 97.4.20) 24 DEC 1997 19:18 **manual.tex (manual.tex LaTeX2e <1996/12/01> patch level 1 Babel and hyphenation patterns for american, german, loaded. (/usr/lib/texmf/texmf/tex/latex/base/article.cls Document Class: article 1996/10/31 v1.3u Standard LaTeX document class (/usr/lib/texmf/texmf/tex/latex/base/size10.clo File: size10.clo 1996/10/31 v1.3u Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/lib/texmf/texmf/tex/latex/graphics/color.sty Package: color 1997/01/07 v1.0d Standard LaTeX Color (DPC) (/usr/lib/texmf/texmf/tex/latex/config/color.cfg) Package color Info: Driver file: dvips.def on input line 128. (/usr/lib/texmf/texmf/tex/latex/graphics/dvips.def File: dvips.def 1996/12/12 v3.0d Driver-dependant file (DPC,SPQR) ) (/usr/lib/texmf/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1996/12/12 v3.0d Driver-dependant file (DPC,SPQR) )) (/usr/lib/texmf/texmf/tex/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (man.sty Preloading the manual format for the CGB package) (../contrib/user_man/lisp-documentation.tex \formnamelen=\skip43 \pboxargslen=\skip44 \typelen=\skip45 ) (manual.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 13. LaTeX Font Info: ... okay on input line 13. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 14. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 14. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 14. (manual.toc) \tf@toc=\write3 (grobner.tex LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 1. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 1. [1 ] Underfull \hbox (badness 10000) in paragraph at lines 25--25 []\OT1/cmr/m/it/10 f \OT1/cmss/m/n/10 &op-tional \OT1/cmr/m/it/10 (pred #'lex$\ OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0) (top$\OMS/cmsy/m/n/10 ^^@$\OT1/c mr/m/it/10 reduction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring [] [2] Overfull \hbox (44.88268pt too wide) in paragraph at lines 95--101 []\OT1/cmr/m/n/10 Perform a cal-cu-la-tion equiv-a-lent to (POLY$\OMS/cmsy/m/n/ 10 ^^@$ \OT1/cmr/m/n/10 (SCALAR$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 TIMES$\OMS /cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY C2 A) (SCALAR$\OMS/cmsy/m/n/10 ^^@$\OT1/c mr/m/n/10 TIMES$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY [] Overfull \hbox (36.6243pt too wide) in paragraph at lines 104--110 \OT1/cmr/m/n/10 or-der. The RING struc-ture holds op-er-a-tions on the co-ef-fi -cients as de-scribed in the COEFFICIENT$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 R ING [] Underfull \hbox (badness 10000) in paragraph at lines 157--157 []\OT1/cmr/m/it/10 method \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (strategy$\OMS /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 fn (ecase [] Underfull \hbox (badness 10000) in paragraph at lines 157--157 \OT1/cmr/m/it/10 method (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\O MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly [] Underfull \hbox (badness 10000) in paragraph at lines 157--157 \OT1/cmr/m/it/10 #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/ cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 us e$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it /10 spoly) [] Overfull \hbox (4.30997pt too wide) in paragraph at lines 157--157 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm #'buchberg er$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/ it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@ $\OT1/cmr/m/it/10 lcm) [] Overfull \hbox (75.06502pt too wide) in paragraph at lines 157--157 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 total$\OMS/cms y/m/n/10 ^^@$\OT1/cmr/m/it/10 degree #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr /m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@ $\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/ m/n/10 ^^@$\OT1/cmr/m/it/10 degree) [] Overfull \hbox (47.09862pt too wide) in paragraph at lines 157--157 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length #'buchb erger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr /m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\ OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length) [] Underfull \hbox (badness 10000) in paragraph at lines 157--157 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\O MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length [] Overfull \hbox (27.2931pt too wide) in paragraph at lines 157--157 \OT1/cmr/m/it/10 #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/ cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 us e$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/ m/it/10 coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length))) [] [3] Overfull \hbox (5.681pt too wide) in paragraph at lines 158--162 \OT1/cmr/m/n/10 im-ple-ment-ing one of sev-eral strate-gies in-tro-duces be-for e of se-lect-ing the most promis-ing. METHOD [] [4] Underfull \hbox (badness 4556) in paragraph at lines 229--229 []\OT1/cmr/m/it/10 flist k \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (primary$\OMS /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/ 10 ) (secondary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it /10 >$\OT1/cmr/m/it/10 ) [] [5] Underfull \hbox (badness 10000) in paragraph at lines 312--312 []\OT1/cmr/m/it/10 f p pred start top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 red uction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only ring \OT1/cmss/m/n/10 &aux \O T1/cmr/m/it/10 (pred [] LaTeX Font Info: Try loading font information for OMS+cmr on input line 329. (/usr/lib/texmf/texmf/tex/latex/base/omscmr.fd File: omscmr.fd 1997/01/14 v2.5a Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 329. [6] Underfull \hbox (badness 1147) in paragraph at lines 377--377 []\OT1/cmr/m/it/10 f g pred start top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 red uction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only ring \OT1/cmss/m/n/10 &aux \O T1/cmr/m/it/10 (k (length g)) (pred [] Overfull \hbox (62.62083pt too wide) in paragraph at lines 389--392 []\OT1/cmr/m/n/10 Returns the re-duced Grob-ner ba-sis of the ideal ob-tained b y a suc-ces-sive ap-pli-ca-tions of IDEAL$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SATURATIONS [] [7] Underfull \hbox (badness 10000) in paragraph at lines 487--487 []\OT1/cmr/m/it/10 method \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (strategy$\OMS /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 fn (ecase [] Underfull \hbox (badness 10000) in paragraph at lines 487--487 \OT1/cmr/m/it/10 method (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\O MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly [] Overfull \hbox (1.49353pt too wide) in paragraph at lines 487--487 \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it /10 mock$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly) [] Overfull \hbox (55.4155pt too wide) in paragraph at lines 487--487 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm #'gebauer$ \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/i t/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT 1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm) [] Underfull \hbox (badness 10000) in paragraph at lines 487--487 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 total$\OMS/cms y/m/n/10 ^^@$\OT1/cmr/m/it/10 degree [] Overfull \hbox (19.51003pt too wide) in paragraph at lines 487--487 \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it /10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 degree) [] Overfull \hbox (98.20415pt too wide) in paragraph at lines 487--487 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length #'gebau er$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/ m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$ \OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m /n/10 ^^@$\OT1/cmr/m/it/10 length) [] Underfull \hbox (badness 10000) in paragraph at lines 487--487 \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\O MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length [] Overfull \hbox (78.39864pt too wide) in paragraph at lines 487--487 \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it /10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length))) [] [8] [9]) (string-grobner.tex Underfull \hbox (badness 10000) in paragraph at lines 4--4 []\OT1/cmr/m/it/10 f fl vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (stream t) (print t) (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) [] Underfull \hbox (badness 4805) in paragraph at lines 12--12 []\OT1/cmr/m/it/10 plist vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #' lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0) (stream t) (re-duce t) [] Underfull \hbox (badness 1701) in paragraph at lines 12--12 \OT1/cmr/m/it/10 (reduce$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 before t) (suppr ess$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) (top$\OMS/cmsy/m/n/10 ^^@$\O T1/cmr/m/it/10 reduction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring [] Underfull \hbox (badness 2582) in paragraph at lines 25--25 \OT1/cmr/m/it/10 (or-der (elimination$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ord er k :primary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order primary$\OMS/cmsy/m/n /10 ^^@$\OT1/cmr/m/it/10 order [] Underfull \hbox (badness 2556) in paragraph at lines 25--25 \OT1/cmr/m/it/10 :secondary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order seconda ry$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order)) \OT1/cmss/m/n/10 &aux \OT1/cmr /m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 vars [] Underfull \hbox (badness 10000) in paragraph at lines 52--52 []\OT1/cmr/m/it/10 f g vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'le x$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@ $\OT1/cmr/m/it/10 ring*) [] Underfull \hbox (badness 10000) in paragraph at lines 52--52 \OT1/cmr/m/it/10 (stream t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 val ue t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\ OT1/cmr/m/it/10 vars [] Underfull \hbox (badness 10000) in paragraph at lines 52--52 \OT1/cmr/m/it/10 vars)) (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$ \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 sorted$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der)) (g [] [10] Underfull \hbox (badness 10000) in paragraph at lines 84--84 []\OT1/cmr/m/it/10 f plist vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0) [] Underfull \hbox (badness 10000) in paragraph at lines 84--84 \OT1/cmr/m/it/10 (top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 reduction$\OMS/cmsy /m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$ \OT1/cmr/m/it/10 ring*) [] Underfull \hbox (badness 1728) in paragraph at lines 84--84 \OT1/cmr/m/it/10 (stream t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 val ue t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\ OT1/cmr/m/it/10 vars [] Underfull \hbox (badness 1014) in paragraph at lines 84--84 \OT1/cmr/m/it/10 vars)) (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$ \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 sorted$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der)) [] Underfull \hbox (badness 10000) in paragraph at lines 115--115 []\OT1/cmr/m/it/10 f ideal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 list vars \OT1 /cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/ it/10 ) (start 0) [] Underfull \hbox (badness 2707) in paragraph at lines 115--115 \OT1/cmr/m/it/10 t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) \O T1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/ m/it/10 vars vars)) (f [] Underfull \hbox (badness 4291) in paragraph at lines 115--115 \OT1/cmr/m/it/10 (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$\OMS/cmsy/ m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 sorted$\OM S/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der)) (ideal$\OMS/cmsy/m/n/1 0 ^^@$\OT1/cmr/m/it/10 list [] Underfull \hbox (badness 10000) in paragraph at lines 129--129 \OT1/cmr/m/it/10 (stream t) (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars [] Underfull \hbox (badness 7944) in paragraph at lines 138--138 []\OT1/cmr/m/it/10 f vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'lex$ \OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m /it/10 value nil) (stream t) [] Underfull \hbox (badness 2285) in paragraph at lines 138--138 \OT1/cmr/m/it/10 (convert$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 rational$\OMS/c msy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 intege r t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\O T1/cmr/m/it/10 vars vars)) (f [] ) (colored-poly.tex [11] Overfull \hbox (54.0505pt too wide) in paragraph at lines 23--26 []\OT1/cmr/m/n/10 Translate a list of poly-no-mi-als PLIST into a list of col-o red poly-no-mi-als by call-ing MAKE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 COLORE D$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY. [] Underfull \hbox (badness 10000) in paragraph at lines 48--48 []\OT1/cmr/m/it/10 poly vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (stream t) (beg t) (print$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 green$\OMS/cmsy/m/n/10 ^^@ $\OT1/cmr/m/it/10 part nil) [] [12] [13] [14] Underfull \hbox (badness 3333) in paragraph at lines 278--278 \OT1/cmr/m/it/10 #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (parameter$\OMS/cm sy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ring*) [] [15] Overfull \hbox (10.81523pt too wide) in paragraph at lines 285--291 []\OT1/cmr/m/n/10 Return the in-ter-nal rep-re-sen-ta-tion of a con-di-tion CON D, spec-i-fied as pairs of strings (GREEN$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 LIST [] Underfull \hbox (badness 10000) in paragraph at lines 324--324 []\OT1/cmr/m/it/10 f vars params \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (cond ' ([] [])) (main$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/ 10 >$\OT1/cmr/m/it/10 ) [] Underfull \hbox (badness 7168) in paragraph at lines 324--324 \OT1/cmr/m/it/10 (parameter$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\ OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/ it/10 value t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 printing [] Underfull \hbox (badness 10000) in paragraph at lines 324--324 \OT1/cmr/m/it/10 nil) (mark$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficients nil) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ring*) \OT1/cmss/ m/n/10 &aux [] Underfull \hbox (badness 10000) in paragraph at lines 324--324 \OT1/cmr/m/it/10 (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m /n/10 ^^@$\OT1/cmr/m/it/10 colored$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 poly$\ OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 list f vars params main$\OMS/cmsy/m/n/10 ^ ^@$\OT1/cmr/m/it/10 order [] [16]) (coefficient-ring.tex [17]) (division.tex) (dynamics.tex Overfull \hbox (73.32835pt too wide) in paragraph at lines 22--24 []\OT1/cmr/m/n/10 Evaluate a poly-no-mial F at a point X. This op-er-a-tion is im-ple-mented through POLY$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SCALAR$\OMS/cms y/m/n/10 ^^@$\OT1/cmr/m/n/10 COMPOSITION. [] [18] [19] [20]) (prover.tex [21] Overfull \hbox (20.69022pt too wide) in paragraph at lines 96--100 []\OT1/cmr/m/n/10 Proves a ge-o-met-ric the-o-rem, spec-i-fied in the same man- ner as in the macro TRANSLATE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 THEOREM. [] ) (order.tex [22]) (poly.tex [23] Overfull \hbox (5.36993pt too wide) in paragraph at lines 66--70 []\OT1/cmr/m/n/10 Given a poly-no-mial P in k[x[r+1],...,xn], it re-turns the s ame poly-no-mial as an el-e-ment of k[x1,...,xn], [] [24]) (parse.tex Overfull \hbox (27.25775pt too wide) in paragraph at lines 38--46 \OT1/cmr/m/n/10 ple: (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy /m/n/10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S "X^2$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/ m/n/10 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m /n/10 ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 ALIST [] Overfull \hbox (57.11893pt too wide) in paragraph at lines 61--73 \OT1/cmr/m/n/10 (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy/m/n/ 10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S "X^2 $\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/1 0 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SORTED$\OMS/cmsy/m /n/10 ^^@$\OT1/cmr/m/n/10 ALIST [] Overfull \hbox (57.11893pt too wide) in paragraph at lines 61--73 \OT1/cmr/m/n/10 (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy/m/n/ 10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S "X^2 $\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/1 0 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SORTED$\OMS/cmsy/m /n/10 ^^@$\OT1/cmr/m/n/10 ALIST [] [25] [26]) (makelist.tex [27]) (monom.tex) (poly-gcd.tex [28]) (poly-with-sugar.tex [29] [30]) (printer.tex) (rat.tex [31]) (ratpoly.tex [32] [33]) (term.tex) (xgcd.tex) (examples.tex [34] [35] Overfull \hbox (21.6393pt too wide) in paragraph at lines 179--179 []\OT1/cmtt/m/n/9 [ RETURN VALUE 1]-->> ((((((2 0) . 1) ((0 1) . -1))) ((((1 0) . 1)))) (((((1 0) . 1) ((0 1) . 1))) NIL))[] [] [36] Overfull \hbox (7.46446pt too wide) in paragraph at lines 179--179 []\OT1/cmtt/m/n/9 [ RETURN VALUE 1]-->> ((((+ (- (* B1 C2) (* B2 C1)) (- (* A2 C1) (* A1 C2)) (- (* A1 B2) (* A2 B1))))[] [] Overfull \hbox (2.73952pt too wide) in paragraph at lines 179--179 []\OT1/cmtt/m/n/9 [ RETURN VALUE 2]-->> ((((- (* (- A1 B1) (- E2 F2)) (* (- A2 B2) (- E1 F1)))) ((- C1 D1) (- C2 D2)))[] [] Overfull \hbox (59.43886pt too wide) in paragraph at lines 179--179 []\OT1/cmtt/m/n/9 ;; (PROVE-THEOREM ((PERPENDICULAR A B C D) (PERPENDICULAR C D E F)) ((PARALLEL A B E F) (IDENTICAL-POINTS C D)))[] [] [37]) [38] (manual.aux) ) Here is how much of TeX's memory you used: 640 strings out of 10906 7319 string characters out of 72187 53901 words of memory out of 262141 3472 multiletter control sequences out of 9500 9042 words of font info for 33 fonts, out of 150000 for 255 14 hyphenation exceptions out of 607 23i,6n,19p,334b,362s stack positions out of 300i,40n,60p,3000b,4000s Output written on manual.dvi (38 pages, 128456 bytes).