This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.5.31)  28 AUG 2003 12:26
**manual
(manual.tex
LaTeX2e <2001/06/01>
Babel <v3.6Z> and hyphenation patterns for american, french, german, ngerman, s
wedish, nohyphenation, loaded.
(/nfs/m/i386_linux/pkg/teTeX/1.0.7/share/texmf/tex/latex/base/book.cls
Document Class: book 2001/04/21 v1.4e Standard LaTeX document class
(/nfs/m/i386_linux/pkg/teTeX/1.0.7/share/texmf/tex/latex/base/bk11.clo
File: bk11.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/nfs/m/i386_linux/pkg/teTeX/1.0.7/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
)
\c@exm=\count88
\@indexfile=\write3
\openout3 = `manual.idx'.


Writing index file manual.idx
(manual.aux (forbegin.aux) (advance.aux) (modules.aux) (underred.aux)
(debugg.aux) (toplevel.aux) (refmodes.aux) (funclist.aux))
\openout1 = `manual.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 9.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 9.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 9.
 [1


]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 14.

(/nfs/m/i386_linux/pkg/teTeX/1.0.7/share/texmf/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 14.

[2] (manual.toc
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 2.
 [3

] [4])
\tf@toc=\write4
\openout4 = `manual.toc'.

 [5] [6

]
Chapter 1.
[7]
\openout2 = `forbegin.aux'.

 (forbegin.tex
Overfull \hbox (4.21147pt too wide) in paragraph at lines 1--2
[]  [] 
 []


Overfull \hbox (0.50063pt too wide) in paragraph at lines 3--4
[]  [] 
 []


Overfull \hbox (6.04138pt too wide) in paragraph at lines 7--8
[]  [] 
 []

[8

] [9]
Overfull \hbox (2.16733pt too wide) in paragraph at lines 129--129
[]\OT1/cmtt/m/n/10.95 Copyright(c) Bruno Haible,Pierpaolo Bernardi,Sam Steingol
d 1998[] 
 []

[10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23]) [24]
Chapter 2.
[25


]
\openout2 = `advance.aux'.

 (advance.tex [26

] [27] [28]
Overfull \hbox (2.71628pt too wide) in paragraph at lines 229--235
[]\OT1/cmr/m/n/10.95 Besides that there ex-ist two elim-i-nat-ing or-der-ings i
n the non-commutative
 []

[29]
Overfull \hbox (17.83763pt too wide) detected at line 302
\OML/cmm/m/it/10.95 A \OT1/cmr/m/n/10.95 =\OML/cmm/m/it/10.95 < r; l; q\OMS/cms
y/m/n/10.95 j\OML/cmm/m/it/10.95 r[] \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.9
5 q[] \OT1/cmr/m/n/10.95 + \OML/cmm/m/it/10.95 lr \OMS/cmsy/m/n/10.95 ^^@ \OML/
cmm/m/it/10.95 r; rq \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.95 qr \OT1/cmr/m/
n/10.95 + \OML/cmm/m/it/10.95 lq \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.95 q;
 lr \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.95 rl; lq \OT1/cmr/m/n/10.95 + \OM
L/cmm/m/it/10.95 ql \OMS/cmsy/m/n/10.95 ^^@ \OT1/cmr/m/n/10.95 2\OML/cmm/m/it/1
0.95 q; rr \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.95 rl \OMS/cmsy/m/n/10.95 ^
^@ \OT1/cmr/m/n/10.95 2\OML/cmm/m/it/10.95 lr \OT1/cmr/m/n/10.95 + 2\OML/cmm/m/
it/10.95 l[] \OMS/cmsy/m/n/10.95 ^^@ \OML/cmm/m/it/10.95 r \OT1/cmr/m/n/10.95 +
 \OML/cmm/m/it/10.95 l >
 []

[30] [31] [32] [33] [34] [35]
Underfull \hbox (badness 10000) in paragraph at lines 663--665

 []

[36] [37] [38]
Underfull \vbox (badness 1292) has occurred while \output is active []

 [39]
[40] [41]
Underfull \hbox (badness 10000) in paragraph at lines 1010--1011

 []

[42] [43]
Underfull \hbox (badness 10000) in paragraph at lines 1070--1071

 []


Underfull \hbox (badness 10000) in paragraph at lines 1072--1073

 []


Underfull \hbox (badness 10000) in paragraph at lines 1082--1083

 []


Underfull \hbox (badness 10000) in paragraph at lines 1091--1092

 []

[44] [45] [46]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [47]
[48]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 1341.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 1341.

Overfull \hbox (31.45245pt too wide) detected at line 1342
[] \OT1/cmr/m/n/9 =
 []


Overfull \hbox (0.47218pt too wide) detected at line 1344
\OT1/cmr/m/n/10.95 1 + 6\OML/cmm/m/it/10.95 t \OT1/cmr/m/n/10.95 + 20\OML/cmm/m
/it/10.95 t[] \OT1/cmr/m/n/10.95 + 49\OML/cmm/m/it/10.95 t[] \OT1/cmr/m/n/10.95
 + 98\OML/cmm/m/it/10.95 t[] \OT1/cmr/m/n/10.95 + 169\OML/cmm/m/it/10.95 t[] \O
T1/cmr/m/n/10.95 + 259\OML/cmm/m/it/10.95 t[] \OT1/cmr/m/n/10.95 + 360\OML/cmm/
m/it/10.95 t[] \OT1/cmr/m/n/10.95 + 462\OML/cmm/m/it/10.95 t[] \OT1/cmr/m/n/10.
95 + 557\OML/cmm/m/it/10.95 t[] \OT1/cmr/m/n/10.95 + 642\OML/cmm/m/it/10.95 t[]
 \OT1/cmr/m/n/10.95 + 715\OML/cmm/m/it/10.95 t[]\OT1/cmr/m/n/10.95 +
 []

[49] [50] [51]
Overfull \hbox (1.19144pt too wide) in paragraph at lines 1451--1453
[]\OT1/cmr/m/n/10.95 In the fol-low-ing ex-am-ple a Gr^^?obner ba-sis for the a
l-ge-bra $\OML/cmm/m/it/10.95 A \OT1/cmr/m/n/10.95 =\OML/cmm/m/it/10.95 < a; b;
 c\OMS/cmsy/m/n/10.95 j\OML/cmm/m/it/10.95 ab \OT1/cmr/m/n/10.95 =
 []

[52] [53]) [54]
\openout2 = `modules.aux'.

 (modules.tex [55


] [56] [57] [58] [59] [60]
Underfull \hbox (badness 10000) in paragraph at lines 259--261

 []

Missing character: There is no ^^ed in font cmr10!
Missing character: There is no ^^ed in font cmr10!
[61]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [62]
[63] [64] [65]
Underfull \hbox (badness 10000) in paragraph at lines 535--536

 []


Underfull \hbox (badness 10000) in paragraph at lines 537--540

 []

[66] [67] [68] [69] [70]
Underfull \hbox (badness 10000) in paragraph at lines 773--774

 []

[71]
Underfull \hbox (badness 10000) in paragraph at lines 803--805

 []

[72]
Underfull \hbox (badness 10000) in paragraph at lines 831--833

 []


Underfull \hbox (badness 10000) in paragraph at lines 839--842

 []


Underfull \hbox (badness 10000) in paragraph at lines 853--855

 []

[73] [74] [75] [76]
Underfull \hbox (badness 10000) in paragraph at lines 1054--1055

 []

[77]
Underfull \hbox (badness 10000) in paragraph at lines 1085--1087

 []


Underfull \hbox (badness 10000) in paragraph at lines 1105--1107

 []

[78] [79] [80] [81] [82] [83] [84] [85] [86] [87]
Underfull \hbox (badness 10000) in paragraph at lines 1546--1550

 []

[88]
Underfull \hbox (badness 10000) in paragraph at lines 1579--1581

 []


Underfull \hbox (badness 10000) in paragraph at lines 1587--1590

 []


Underfull \hbox (badness 10000) in paragraph at lines 1603--1605

 []

[89] [90] [91] [92] [93] [94] [95]) [96]
\openout2 = `underred.aux'.

 (underred.tex [97


] [98] [99]) [100]
\openout2 = `debugg.aux'.


(debugg.tex [101


] [102] [103] [104] [105] [106]) [107] [108


]
Chapter 3.
[109]
\openout2 = `toplevel.aux'.

 (toplevel.tex [110

]) [111]
\openout2 = `refmodes.aux'.

 (refmodes.tex
Overfull \hbox (4.93793pt too wide) in paragraph at lines 38--55
[][]
 []


Overfull \hbox (4.68071pt too wide) in paragraph at lines 60--87
[][] 
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [112


]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [113]
Overfull \hbox (6.65627pt too wide) in paragraph at lines 161--162
[]\OT1/cmr/m/n/10.95 Sets the cur-rent ob-ject type
 []


Overfull \hbox (11.18887pt too wide) in paragraph at lines 165--166
[]\OT1/cmr/m/n/10.95 Gets the cur-rent ob-ject type ( e.g., RING,
 []


Overfull \hbox (0.8927pt too wide) in paragraph at lines 173--174
[]\OT1/cmr/m/n/10.95 Sets the cur-rent ob-ject type to MO-
 []


Overfull \hbox (1.97217pt too wide) in paragraph at lines 177--178
[]\OT1/cmr/m/n/10.95 Sets the cur-rent ob-ject type
 []

[114] [115]
Overfull \hbox (2.13972pt too wide) in paragraph at lines 257--263
[]\OT1/cmr/m/n/10.95 (Only in bergman-under-reduce.)
 []


Overfull \hbox (4.80855pt too wide) in paragraph at lines 267--286
[]\OT1/cmr/m/n/10.95 : FEXPR (In-ter-rup-
 []


Overfull \hbox (7.0671pt too wide) in paragraph at lines 291--294
[]\OT1/cmr/m/n/10.95 or (MIN-HILB-NGBE-STRAT-
 []


Overfull \hbox (11.53638pt too wide) in paragraph at lines 291--294
\OT1/cmr/m/n/10.95 EGY OR-DI-NARY) and (SET-INTER-RUPT-STRAT-EGY MIN-HILBLIM-
 []

[116]) [117]
\openout2 = `funclist.aux'.

 (funclist.tex [118


] [119]
Overfull \hbox (5.3503pt too wide) in paragraph at lines 133--137
[]\OT1/cmr/m/n/10.95 Returns the "cur-rent de-gree" (which is or-di-nar-ily set
 within the Gr^^?obner
 []

[120] [121] [122] [123]
Overfull \hbox (2.12822pt too wide) in paragraph at lines 333--335
[]\OT1/cmr/m/n/10.95 The de-fault is OFF, if not oth-er-wise in-di-cated. Some-
times mode-changers
 []


Overfull \hbox (5.7141pt too wide) in paragraph at lines 342--347
[]\OT1/cmr/m/n/10.95 GROEBNERKERNEL ex-hibits out-put de-gree by de-gree, by me
ans
 []


Overfull \hbox (2.41504pt too wide) in paragraph at lines 351--353
\OT1/cmr/m/n/10.95 pro-ce-dure (with no ar-gu-ment) is called first within a CL
EARCDE-
 []

[124]
Overfull \hbox (11.64523pt too wide) in paragraph at lines 371--372
[]\OT1/cmr/m/n/10.95 CUSTENDDEGREECRITPAIRFIND sup-plants the ac-tion of DEn-
 []


Overfull \hbox (2.09435pt too wide) in paragraph at lines 398--403
[]\OT1/cmr/m/n/10.95 defines CUS-TEND-DE-GREECRIT-PAIRFIND in such a way, that 
when
 []

[125]
Overfull \hbox (6.70377pt too wide) in paragraph at lines 444--448
\OT1/cmr/m/n/10.95 series, de-fine the re-cur-sive monomial-bound sub-series wh
ile these mono-
 []


Overfull \hbox (7.17442pt too wide) in paragraph at lines 451--455
[]\OT1/cmr/m/n/10.95 Use `log-a-rithm ta-ble meth-ods' in (suf-fi-ciently small
)
 []

[126]
Overfull \hbox (9.65291pt too wide) in paragraph at lines 478--485
[]\OT1/cmr/m/n/10.95 Default: ON. Some pro-ce-dures have chan-
 []

[127]
Overfull \hbox (6.99191pt too wide) in paragraph at lines 570--573
[]\OT1/cmr/m/n/10.95 Counts the num-ber of S-polynomials ac-tu-ally formed.
 []

[128] [129]
Overfull \hbox (0.19464pt too wide) in paragraph at lines 680--684
\OT1/cmr/m/n/10.95 This sec-tion con-tains in-for-ma-tion for the user about th
e com-mu-ta-tive Hilbert
 []

[130] [131] [132]) [133] (manual.ind
Overfull \hbox (2.9973pt too wide) in paragraph at lines 31--32
[]\OT1/cmr/m/n/10.95 calculateanickresolutiontolimit, 65,
 []

[134


]
Overfull \hbox (8.89815pt too wide) in paragraph at lines 97--98
[]\OT1/cmr/m/n/10.95 immediatefullreduction, 39, 112, 125 
 []

[135]
Overfull \hbox (2.51062pt too wide) in paragraph at lines 185--186
[]\OT1/cmr/m/n/10.95 reverse lex-i-co-graph-i-cal or-der-ing, 29 
 []

[136]) (manual.aux (forbegin.aux) (advance.aux) (modules.aux) (underred.aux)
(debugg.aux) (toplevel.aux) (refmodes.aux) (funclist.aux)) ) 
Here is how much of TeX's memory you used:
 381 strings out of 10891
 4060 string characters out of 72747
 55379 words of memory out of 263001
 3341 multiletter control sequences out of 10000+0
 13207 words of font info for 46 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 23i,7n,19p,409b,373s stack positions out of 300i,100n,500p,50000b,4000s

Output written on manual.dvi (136 pages, 283040 bytes).
