1 | This is TeX, Version 3.14159 (C version 6.1) (format=latex 97.4.20) 24 DEC 1997 19:18
|
---|
2 | **manual.tex
|
---|
3 | (manual.tex
|
---|
4 | LaTeX2e <1996/12/01> patch level 1
|
---|
5 | Babel <v3.6h> and hyphenation patterns for american, german, loaded.
|
---|
6 | (/usr/lib/texmf/texmf/tex/latex/base/article.cls
|
---|
7 | Document Class: article 1996/10/31 v1.3u Standard LaTeX document class
|
---|
8 | (/usr/lib/texmf/texmf/tex/latex/base/size10.clo
|
---|
9 | File: size10.clo 1996/10/31 v1.3u Standard LaTeX file (size option)
|
---|
10 | )
|
---|
11 | \c@part=\count79
|
---|
12 | \c@section=\count80
|
---|
13 | \c@subsection=\count81
|
---|
14 | \c@subsubsection=\count82
|
---|
15 | \c@paragraph=\count83
|
---|
16 | \c@subparagraph=\count84
|
---|
17 | \c@figure=\count85
|
---|
18 | \c@table=\count86
|
---|
19 | \abovecaptionskip=\skip41
|
---|
20 | \belowcaptionskip=\skip42
|
---|
21 | \bibindent=\dimen102
|
---|
22 | )
|
---|
23 | (/usr/lib/texmf/texmf/tex/latex/graphics/color.sty
|
---|
24 | Package: color 1997/01/07 v1.0d Standard LaTeX Color (DPC)
|
---|
25 |
|
---|
26 | (/usr/lib/texmf/texmf/tex/latex/config/color.cfg)
|
---|
27 | Package color Info: Driver file: dvips.def on input line 128.
|
---|
28 |
|
---|
29 | (/usr/lib/texmf/texmf/tex/latex/graphics/dvips.def
|
---|
30 | File: dvips.def 1996/12/12 v3.0d Driver-dependant file (DPC,SPQR)
|
---|
31 | )
|
---|
32 | (/usr/lib/texmf/texmf/tex/latex/graphics/dvipsnam.def
|
---|
33 | File: dvipsnam.def 1996/12/12 v3.0d Driver-dependant file (DPC,SPQR)
|
---|
34 | ))
|
---|
35 | (/usr/lib/texmf/texmf/tex/latex/misc/fullpage.sty
|
---|
36 | Style Option FULLPAGE Version 2 as of 15 Dec 1988
|
---|
37 | ) (man.sty Preloading the manual format for the CGB package)
|
---|
38 | (../contrib/user_man/lisp-documentation.tex
|
---|
39 | \formnamelen=\skip43
|
---|
40 | \pboxargslen=\skip44
|
---|
41 | \typelen=\skip45
|
---|
42 | ) (manual.aux)
|
---|
43 | LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 13.
|
---|
44 | LaTeX Font Info: ... okay on input line 13.
|
---|
45 | LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 13.
|
---|
46 | LaTeX Font Info: ... okay on input line 13.
|
---|
47 | LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 13.
|
---|
48 | LaTeX Font Info: ... okay on input line 13.
|
---|
49 | LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 13.
|
---|
50 | LaTeX Font Info: ... okay on input line 13.
|
---|
51 | LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 13.
|
---|
52 | LaTeX Font Info: ... okay on input line 13.
|
---|
53 | LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 13.
|
---|
54 | LaTeX Font Info: ... okay on input line 13.
|
---|
55 | LaTeX Font Info: External font `cmex10' loaded for size
|
---|
56 | (Font) <12> on input line 14.
|
---|
57 | LaTeX Font Info: External font `cmex10' loaded for size
|
---|
58 | (Font) <8> on input line 14.
|
---|
59 | LaTeX Font Info: External font `cmex10' loaded for size
|
---|
60 | (Font) <6> on input line 14.
|
---|
61 | (manual.toc)
|
---|
62 | \tf@toc=\write3
|
---|
63 |
|
---|
64 | (grobner.tex
|
---|
65 | LaTeX Font Info: External font `cmex10' loaded for size
|
---|
66 | (Font) <7> on input line 1.
|
---|
67 | LaTeX Font Info: External font `cmex10' loaded for size
|
---|
68 | (Font) <5> on input line 1.
|
---|
69 | [1
|
---|
70 |
|
---|
71 | ]
|
---|
72 | Underfull \hbox (badness 10000) in paragraph at lines 25--25
|
---|
73 | []\OT1/cmr/m/it/10 f \OT1/cmss/m/n/10 &op-tional \OT1/cmr/m/it/10 (pred #'lex$\
|
---|
74 | OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0) (top$\OMS/cmsy/m/n/10 ^^@$\OT1/c
|
---|
75 | mr/m/it/10 reduction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring
|
---|
76 | []
|
---|
77 |
|
---|
78 | [2]
|
---|
79 | Overfull \hbox (44.88268pt too wide) in paragraph at lines 95--101
|
---|
80 | []\OT1/cmr/m/n/10 Perform a cal-cu-la-tion equiv-a-lent to (POLY$\OMS/cmsy/m/n/
|
---|
81 | 10 ^^@$ \OT1/cmr/m/n/10 (SCALAR$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 TIMES$\OMS
|
---|
82 | /cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY C2 A) (SCALAR$\OMS/cmsy/m/n/10 ^^@$\OT1/c
|
---|
83 | mr/m/n/10 TIMES$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY
|
---|
84 | []
|
---|
85 |
|
---|
86 |
|
---|
87 | Overfull \hbox (36.6243pt too wide) in paragraph at lines 104--110
|
---|
88 | \OT1/cmr/m/n/10 or-der. The RING struc-ture holds op-er-a-tions on the co-ef-fi
|
---|
89 | -cients as de-scribed in the COEFFICIENT$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 R
|
---|
90 | ING
|
---|
91 | []
|
---|
92 |
|
---|
93 |
|
---|
94 | Underfull \hbox (badness 10000) in paragraph at lines 157--157
|
---|
95 | []\OT1/cmr/m/it/10 method \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (strategy$\OMS
|
---|
96 | /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 fn (ecase
|
---|
97 | []
|
---|
98 |
|
---|
99 |
|
---|
100 | Underfull \hbox (badness 10000) in paragraph at lines 157--157
|
---|
101 | \OT1/cmr/m/it/10 method (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\O
|
---|
102 | MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly
|
---|
103 | []
|
---|
104 |
|
---|
105 |
|
---|
106 | Underfull \hbox (badness 10000) in paragraph at lines 157--157
|
---|
107 | \OT1/cmr/m/it/10 #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/
|
---|
108 | cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 us
|
---|
109 | e$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it
|
---|
110 | /10 spoly)
|
---|
111 | []
|
---|
112 |
|
---|
113 |
|
---|
114 | Overfull \hbox (4.30997pt too wide) in paragraph at lines 157--157
|
---|
115 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm #'buchberg
|
---|
116 | er$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/
|
---|
117 | it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@
|
---|
118 | $\OT1/cmr/m/it/10 lcm)
|
---|
119 | []
|
---|
120 |
|
---|
121 |
|
---|
122 | Overfull \hbox (75.06502pt too wide) in paragraph at lines 157--157
|
---|
123 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 total$\OMS/cms
|
---|
124 | y/m/n/10 ^^@$\OT1/cmr/m/it/10 degree #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr
|
---|
125 | /m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@
|
---|
126 | $\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/
|
---|
127 | m/n/10 ^^@$\OT1/cmr/m/it/10 degree)
|
---|
128 | []
|
---|
129 |
|
---|
130 |
|
---|
131 | Overfull \hbox (47.09862pt too wide) in paragraph at lines 157--157
|
---|
132 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length #'buchb
|
---|
133 | erger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr
|
---|
134 | /m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\
|
---|
135 | OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length)
|
---|
136 | []
|
---|
137 |
|
---|
138 |
|
---|
139 | Underfull \hbox (badness 10000) in paragraph at lines 157--157
|
---|
140 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\O
|
---|
141 | MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length
|
---|
142 | []
|
---|
143 |
|
---|
144 |
|
---|
145 | Overfull \hbox (27.2931pt too wide) in paragraph at lines 157--157
|
---|
146 | \OT1/cmr/m/it/10 #'buchberger$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/
|
---|
147 | cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 us
|
---|
148 | e$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/
|
---|
149 | m/it/10 coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length)))
|
---|
150 | []
|
---|
151 |
|
---|
152 | [3]
|
---|
153 | Overfull \hbox (5.681pt too wide) in paragraph at lines 158--162
|
---|
154 | \OT1/cmr/m/n/10 im-ple-ment-ing one of sev-eral strate-gies in-tro-duces be-for
|
---|
155 | e of se-lect-ing the most promis-ing. METHOD
|
---|
156 | []
|
---|
157 |
|
---|
158 | [4]
|
---|
159 | Underfull \hbox (badness 4556) in paragraph at lines 229--229
|
---|
160 | []\OT1/cmr/m/it/10 flist k \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (primary$\OMS
|
---|
161 | /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/
|
---|
162 | 10 ) (secondary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it
|
---|
163 | /10 >$\OT1/cmr/m/it/10 )
|
---|
164 | []
|
---|
165 |
|
---|
166 | [5]
|
---|
167 | Underfull \hbox (badness 10000) in paragraph at lines 312--312
|
---|
168 | []\OT1/cmr/m/it/10 f p pred start top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 red
|
---|
169 | uction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only ring \OT1/cmss/m/n/10 &aux \O
|
---|
170 | T1/cmr/m/it/10 (pred
|
---|
171 | []
|
---|
172 |
|
---|
173 | LaTeX Font Info: Try loading font information for OMS+cmr on input line 329.
|
---|
174 |
|
---|
175 | (/usr/lib/texmf/texmf/tex/latex/base/omscmr.fd
|
---|
176 | File: omscmr.fd 1997/01/14 v2.5a Standard LaTeX font definitions
|
---|
177 | )
|
---|
178 | LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available
|
---|
179 | (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 329.
|
---|
180 | [6]
|
---|
181 | Underfull \hbox (badness 1147) in paragraph at lines 377--377
|
---|
182 | []\OT1/cmr/m/it/10 f g pred start top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 red
|
---|
183 | uction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only ring \OT1/cmss/m/n/10 &aux \O
|
---|
184 | T1/cmr/m/it/10 (k (length g)) (pred
|
---|
185 | []
|
---|
186 |
|
---|
187 |
|
---|
188 | Overfull \hbox (62.62083pt too wide) in paragraph at lines 389--392
|
---|
189 | []\OT1/cmr/m/n/10 Returns the re-duced Grob-ner ba-sis of the ideal ob-tained b
|
---|
190 | y a suc-ces-sive ap-pli-ca-tions of IDEAL$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10
|
---|
191 | SATURATIONS
|
---|
192 | []
|
---|
193 |
|
---|
194 | [7]
|
---|
195 | Underfull \hbox (badness 10000) in paragraph at lines 487--487
|
---|
196 | []\OT1/cmr/m/it/10 method \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (strategy$\OMS
|
---|
197 | /cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 fn (ecase
|
---|
198 | []
|
---|
199 |
|
---|
200 |
|
---|
201 | Underfull \hbox (badness 10000) in paragraph at lines 487--487
|
---|
202 | \OT1/cmr/m/it/10 method (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 mock$\O
|
---|
203 | MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly
|
---|
204 | []
|
---|
205 |
|
---|
206 |
|
---|
207 | Overfull \hbox (1.49353pt too wide) in paragraph at lines 487--487
|
---|
208 | \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c
|
---|
209 | msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai
|
---|
210 | rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it
|
---|
211 | /10 mock$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 spoly)
|
---|
212 | []
|
---|
213 |
|
---|
214 |
|
---|
215 | Overfull \hbox (55.4155pt too wide) in paragraph at lines 487--487
|
---|
216 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm #'gebauer$
|
---|
217 | \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/i
|
---|
218 | t/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$\OT
|
---|
219 | 1/cmr/m/it/10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 lcm)
|
---|
220 | []
|
---|
221 |
|
---|
222 |
|
---|
223 | Underfull \hbox (badness 10000) in paragraph at lines 487--487
|
---|
224 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 total$\OMS/cms
|
---|
225 | y/m/n/10 ^^@$\OT1/cmr/m/it/10 degree
|
---|
226 | []
|
---|
227 |
|
---|
228 |
|
---|
229 | Overfull \hbox (19.51003pt too wide) in paragraph at lines 487--487
|
---|
230 | \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c
|
---|
231 | msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai
|
---|
232 | rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it
|
---|
233 | /10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 degree)
|
---|
234 | []
|
---|
235 |
|
---|
236 |
|
---|
237 | Overfull \hbox (98.20415pt too wide) in paragraph at lines 487--487
|
---|
238 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length #'gebau
|
---|
239 | er$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/
|
---|
240 | m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pairs$\OMS/cmsy/m/n/10 ^^@$
|
---|
241 | \OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 smallest$\OMS/cmsy/m
|
---|
242 | /n/10 ^^@$\OT1/cmr/m/it/10 length)
|
---|
243 | []
|
---|
244 |
|
---|
245 |
|
---|
246 | Underfull \hbox (badness 10000) in paragraph at lines 487--487
|
---|
247 | \OT1/cmr/m/it/10 (:minimal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\O
|
---|
248 | MS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 length
|
---|
249 | []
|
---|
250 |
|
---|
251 |
|
---|
252 | Overfull \hbox (78.39864pt too wide) in paragraph at lines 487--487
|
---|
253 | \OT1/cmr/m/it/10 #'gebauer$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 moeller$\OMS/c
|
---|
254 | msy/m/n/10 ^^@$\OT1/cmr/m/it/10 merge$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 pai
|
---|
255 | rs$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 use$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it
|
---|
256 | /10 smallest$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficient$\OMS/cmsy/m/n/10
|
---|
257 | ^^@$\OT1/cmr/m/it/10 length)))
|
---|
258 | []
|
---|
259 |
|
---|
260 | [8] [9]) (string-grobner.tex
|
---|
261 | Underfull \hbox (badness 10000) in paragraph at lines 4--4
|
---|
262 | []\OT1/cmr/m/it/10 f fl vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (stream t)
|
---|
263 | (print t) (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 )
|
---|
264 | []
|
---|
265 |
|
---|
266 |
|
---|
267 | Underfull \hbox (badness 4805) in paragraph at lines 12--12
|
---|
268 | []\OT1/cmr/m/it/10 plist vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'
|
---|
269 | lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0) (stream t) (re-duce t)
|
---|
270 | []
|
---|
271 |
|
---|
272 |
|
---|
273 | Underfull \hbox (badness 1701) in paragraph at lines 12--12
|
---|
274 | \OT1/cmr/m/it/10 (reduce$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 before t) (suppr
|
---|
275 | ess$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) (top$\OMS/cmsy/m/n/10 ^^@$\O
|
---|
276 | T1/cmr/m/it/10 reduction$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring
|
---|
277 | []
|
---|
278 |
|
---|
279 |
|
---|
280 | Underfull \hbox (badness 2582) in paragraph at lines 25--25
|
---|
281 | \OT1/cmr/m/it/10 (or-der (elimination$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ord
|
---|
282 | er k :primary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order primary$\OMS/cmsy/m/n
|
---|
283 | /10 ^^@$\OT1/cmr/m/it/10 order
|
---|
284 | []
|
---|
285 |
|
---|
286 |
|
---|
287 | Underfull \hbox (badness 2556) in paragraph at lines 25--25
|
---|
288 | \OT1/cmr/m/it/10 :secondary$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order seconda
|
---|
289 | ry$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order)) \OT1/cmss/m/n/10 &aux \OT1/cmr
|
---|
290 | /m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 vars
|
---|
291 | []
|
---|
292 |
|
---|
293 |
|
---|
294 | Underfull \hbox (badness 10000) in paragraph at lines 52--52
|
---|
295 | []\OT1/cmr/m/it/10 f g vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'le
|
---|
296 | x$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@
|
---|
297 | $\OT1/cmr/m/it/10 ring*)
|
---|
298 | []
|
---|
299 |
|
---|
300 |
|
---|
301 | Underfull \hbox (badness 10000) in paragraph at lines 52--52
|
---|
302 | \OT1/cmr/m/it/10 (stream t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 val
|
---|
303 | ue t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\
|
---|
304 | OT1/cmr/m/it/10 vars
|
---|
305 | []
|
---|
306 |
|
---|
307 |
|
---|
308 | Underfull \hbox (badness 10000) in paragraph at lines 52--52
|
---|
309 | \OT1/cmr/m/it/10 vars)) (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$
|
---|
310 | \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10
|
---|
311 | sorted$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der)) (g
|
---|
312 | []
|
---|
313 |
|
---|
314 | [10]
|
---|
315 | Underfull \hbox (badness 10000) in paragraph at lines 84--84
|
---|
316 | []\OT1/cmr/m/it/10 f plist vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der
|
---|
317 | #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (start 0)
|
---|
318 | []
|
---|
319 |
|
---|
320 |
|
---|
321 | Underfull \hbox (badness 10000) in paragraph at lines 84--84
|
---|
322 | \OT1/cmr/m/it/10 (top$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 reduction$\OMS/cmsy
|
---|
323 | /m/n/10 ^^@$\OT1/cmr/m/it/10 only nil) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$
|
---|
324 | \OT1/cmr/m/it/10 ring*)
|
---|
325 | []
|
---|
326 |
|
---|
327 |
|
---|
328 | Underfull \hbox (badness 1728) in paragraph at lines 84--84
|
---|
329 | \OT1/cmr/m/it/10 (stream t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 val
|
---|
330 | ue t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\
|
---|
331 | OT1/cmr/m/it/10 vars
|
---|
332 | []
|
---|
333 |
|
---|
334 |
|
---|
335 | Underfull \hbox (badness 1014) in paragraph at lines 84--84
|
---|
336 | \OT1/cmr/m/it/10 vars)) (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$
|
---|
337 | \OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10
|
---|
338 | sorted$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der))
|
---|
339 | []
|
---|
340 |
|
---|
341 |
|
---|
342 | Underfull \hbox (badness 10000) in paragraph at lines 115--115
|
---|
343 | []\OT1/cmr/m/it/10 f ideal$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 list vars \OT1
|
---|
344 | /cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/
|
---|
345 | it/10 ) (start 0)
|
---|
346 | []
|
---|
347 |
|
---|
348 |
|
---|
349 | Underfull \hbox (badness 2707) in paragraph at lines 115--115
|
---|
350 | \OT1/cmr/m/it/10 t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) \O
|
---|
351 | T1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/
|
---|
352 | m/it/10 vars vars)) (f
|
---|
353 | []
|
---|
354 |
|
---|
355 |
|
---|
356 | Underfull \hbox (badness 4291) in paragraph at lines 115--115
|
---|
357 | \OT1/cmr/m/it/10 (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 string$\OMS/cmsy/
|
---|
358 | m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 sorted$\OM
|
---|
359 | S/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 alist f vars or-der)) (ideal$\OMS/cmsy/m/n/1
|
---|
360 | 0 ^^@$\OT1/cmr/m/it/10 list
|
---|
361 | []
|
---|
362 |
|
---|
363 |
|
---|
364 | Underfull \hbox (badness 10000) in paragraph at lines 129--129
|
---|
365 | \OT1/cmr/m/it/10 (stream t) (or-der #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 )
|
---|
366 | (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 value t) \OT1/cmss/m/n/10 &aux
|
---|
367 | \OT1/cmr/m/it/10 (vars
|
---|
368 | []
|
---|
369 |
|
---|
370 |
|
---|
371 | Underfull \hbox (badness 7944) in paragraph at lines 138--138
|
---|
372 | []\OT1/cmr/m/it/10 f vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (or-der #'lex$
|
---|
373 | \OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m
|
---|
374 | /it/10 value nil) (stream t)
|
---|
375 | []
|
---|
376 |
|
---|
377 |
|
---|
378 | Underfull \hbox (badness 2285) in paragraph at lines 138--138
|
---|
379 | \OT1/cmr/m/it/10 (convert$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 rational$\OMS/c
|
---|
380 | msy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 intege
|
---|
381 | r t) \OT1/cmss/m/n/10 &aux \OT1/cmr/m/it/10 (vars (read$\OMS/cmsy/m/n/10 ^^@$\O
|
---|
382 | T1/cmr/m/it/10 vars vars)) (f
|
---|
383 | []
|
---|
384 |
|
---|
385 | ) (colored-poly.tex [11]
|
---|
386 | Overfull \hbox (54.0505pt too wide) in paragraph at lines 23--26
|
---|
387 | []\OT1/cmr/m/n/10 Translate a list of poly-no-mi-als PLIST into a list of col-o
|
---|
388 | red poly-no-mi-als by call-ing MAKE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 COLORE
|
---|
389 | D$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 POLY.
|
---|
390 | []
|
---|
391 |
|
---|
392 |
|
---|
393 | Underfull \hbox (badness 10000) in paragraph at lines 48--48
|
---|
394 | []\OT1/cmr/m/it/10 poly vars \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (stream t)
|
---|
395 | (beg t) (print$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 green$\OMS/cmsy/m/n/10 ^^@
|
---|
396 | $\OT1/cmr/m/it/10 part nil)
|
---|
397 | []
|
---|
398 |
|
---|
399 | [12] [13] [14]
|
---|
400 | Underfull \hbox (badness 3333) in paragraph at lines 278--278
|
---|
401 | \OT1/cmr/m/it/10 #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (parameter$\OMS/cm
|
---|
402 | sy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/10 >$\OT1/cmr/m/it/10
|
---|
403 | ) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ring*)
|
---|
404 | []
|
---|
405 |
|
---|
406 | [15]
|
---|
407 | Overfull \hbox (10.81523pt too wide) in paragraph at lines 285--291
|
---|
408 | []\OT1/cmr/m/n/10 Return the in-ter-nal rep-re-sen-ta-tion of a con-di-tion CON
|
---|
409 | D, spec-i-fied as pairs of strings (GREEN$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10
|
---|
410 | LIST
|
---|
411 | []
|
---|
412 |
|
---|
413 |
|
---|
414 | Underfull \hbox (badness 10000) in paragraph at lines 324--324
|
---|
415 | []\OT1/cmr/m/it/10 f vars params \OT1/cmss/m/n/10 &key \OT1/cmr/m/it/10 (cond '
|
---|
416 | ([] [])) (main$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\OML/cmm/m/it/
|
---|
417 | 10 >$\OT1/cmr/m/it/10 )
|
---|
418 | []
|
---|
419 |
|
---|
420 |
|
---|
421 | Underfull \hbox (badness 7168) in paragraph at lines 324--324
|
---|
422 | \OT1/cmr/m/it/10 (parameter$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 order #'lex$\
|
---|
423 | OML/cmm/m/it/10 >$\OT1/cmr/m/it/10 ) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/
|
---|
424 | it/10 value t) (suppress$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 printing
|
---|
425 | []
|
---|
426 |
|
---|
427 |
|
---|
428 | Underfull \hbox (badness 10000) in paragraph at lines 324--324
|
---|
429 | \OT1/cmr/m/it/10 nil) (mark$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 coefficients
|
---|
430 | nil) (ring *coefficient$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 ring*) \OT1/cmss/
|
---|
431 | m/n/10 &aux
|
---|
432 | []
|
---|
433 |
|
---|
434 |
|
---|
435 | Underfull \hbox (badness 10000) in paragraph at lines 324--324
|
---|
436 | \OT1/cmr/m/it/10 (f (parse$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 to$\OMS/cmsy/m
|
---|
437 | /n/10 ^^@$\OT1/cmr/m/it/10 colored$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 poly$\
|
---|
438 | OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/it/10 list f vars params main$\OMS/cmsy/m/n/10 ^
|
---|
439 | ^@$\OT1/cmr/m/it/10 order
|
---|
440 | []
|
---|
441 |
|
---|
442 | [16]) (coefficient-ring.tex [17]) (division.tex) (dynamics.tex
|
---|
443 | Overfull \hbox (73.32835pt too wide) in paragraph at lines 22--24
|
---|
444 | []\OT1/cmr/m/n/10 Evaluate a poly-no-mial F at a point X. This op-er-a-tion is
|
---|
445 | im-ple-mented through POLY$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SCALAR$\OMS/cms
|
---|
446 | y/m/n/10 ^^@$\OT1/cmr/m/n/10 COMPOSITION.
|
---|
447 | []
|
---|
448 |
|
---|
449 | [18] [19] [20]) (prover.tex [21]
|
---|
450 | Overfull \hbox (20.69022pt too wide) in paragraph at lines 96--100
|
---|
451 | []\OT1/cmr/m/n/10 Proves a ge-o-met-ric the-o-rem, spec-i-fied in the same man-
|
---|
452 | ner as in the macro TRANSLATE$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 THEOREM.
|
---|
453 | []
|
---|
454 |
|
---|
455 | ) (order.tex [22]) (poly.tex [23]
|
---|
456 | Overfull \hbox (5.36993pt too wide) in paragraph at lines 66--70
|
---|
457 | []\OT1/cmr/m/n/10 Given a poly-no-mial P in k[x[r+1],...,xn], it re-turns the s
|
---|
458 | ame poly-no-mial as an el-e-ment of k[x1,...,xn],
|
---|
459 | []
|
---|
460 |
|
---|
461 | [24]) (parse.tex
|
---|
462 | Overfull \hbox (27.25775pt too wide) in paragraph at lines 38--46
|
---|
463 | \OT1/cmr/m/n/10 ple: (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy
|
---|
464 | /m/n/10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S
|
---|
465 | "X^2$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/
|
---|
466 | m/n/10 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m
|
---|
467 | /n/10 ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 ALIST
|
---|
468 | []
|
---|
469 |
|
---|
470 |
|
---|
471 | Overfull \hbox (57.11893pt too wide) in paragraph at lines 61--73
|
---|
472 | \OT1/cmr/m/n/10 (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy/m/n/
|
---|
473 | 10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S "X^2
|
---|
474 | $\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/1
|
---|
475 | 0 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m/n/10
|
---|
476 | ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SORTED$\OMS/cmsy/m
|
---|
477 | /n/10 ^^@$\OT1/cmr/m/n/10 ALIST
|
---|
478 | []
|
---|
479 |
|
---|
480 |
|
---|
481 | Overfull \hbox (57.11893pt too wide) in paragraph at lines 61--73
|
---|
482 | \OT1/cmr/m/n/10 (WITH$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 INPUT$\OMS/cmsy/m/n/
|
---|
483 | 10 ^^@$\OT1/cmr/m/n/10 FROM$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 STRING (S "X^2
|
---|
484 | $\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 Y^2+($\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/1
|
---|
485 | 0 4/3)*U^2*W^3$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 5") (PARSE$\OMS/cmsy/m/n/10
|
---|
486 | ^^@$\OT1/cmr/m/n/10 TO$\OMS/cmsy/m/n/10 ^^@$\OT1/cmr/m/n/10 SORTED$\OMS/cmsy/m
|
---|
487 | /n/10 ^^@$\OT1/cmr/m/n/10 ALIST
|
---|
488 | []
|
---|
489 |
|
---|
490 | [25] [26]) (makelist.tex [27]) (monom.tex) (poly-gcd.tex [28])
|
---|
491 | (poly-with-sugar.tex [29] [30]) (printer.tex) (rat.tex [31]) (ratpoly.tex
|
---|
492 | [32] [33]) (term.tex) (xgcd.tex) (examples.tex [34] [35]
|
---|
493 | Overfull \hbox (21.6393pt too wide) in paragraph at lines 179--179
|
---|
494 | []\OT1/cmtt/m/n/9 [ RETURN VALUE 1]-->> ((((((2 0) . 1) ((0 1) . -1))) ((((1 0)
|
---|
495 | . 1)))) (((((1 0) . 1) ((0 1) . 1))) NIL))[]
|
---|
496 | []
|
---|
497 |
|
---|
498 | [36]
|
---|
499 | Overfull \hbox (7.46446pt too wide) in paragraph at lines 179--179
|
---|
500 | []\OT1/cmtt/m/n/9 [ RETURN VALUE 1]-->> ((((+ (- (* B1 C2) (* B2 C1)) (- (* A2
|
---|
501 | C1) (* A1 C2)) (- (* A1 B2) (* A2 B1))))[]
|
---|
502 | []
|
---|
503 |
|
---|
504 |
|
---|
505 | Overfull \hbox (2.73952pt too wide) in paragraph at lines 179--179
|
---|
506 | []\OT1/cmtt/m/n/9 [ RETURN VALUE 2]-->> ((((- (* (- A1 B1) (- E2 F2)) (* (- A2
|
---|
507 | B2) (- E1 F1)))) ((- C1 D1) (- C2 D2)))[]
|
---|
508 | []
|
---|
509 |
|
---|
510 |
|
---|
511 | Overfull \hbox (59.43886pt too wide) in paragraph at lines 179--179
|
---|
512 | []\OT1/cmtt/m/n/9 ;; (PROVE-THEOREM ((PERPENDICULAR A B C D) (PERPENDICULAR C D
|
---|
513 | E F)) ((PARALLEL A B E F) (IDENTICAL-POINTS C D)))[]
|
---|
514 | []
|
---|
515 |
|
---|
516 | [37]) [38] (manual.aux) )
|
---|
517 | Here is how much of TeX's memory you used:
|
---|
518 | 640 strings out of 10906
|
---|
519 | 7319 string characters out of 72187
|
---|
520 | 53901 words of memory out of 262141
|
---|
521 | 3472 multiletter control sequences out of 9500
|
---|
522 | 9042 words of font info for 33 fonts, out of 150000 for 255
|
---|
523 | 14 hyphenation exceptions out of 607
|
---|
524 | 23i,6n,19p,334b,362s stack positions out of 300i,40n,60p,3000b,4000s
|
---|
525 |
|
---|
526 | Output written on manual.dvi (38 pages, 128456 bytes).
|
---|