[1] | 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).
|
---|