This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2007.1.30)  24 AUG 2007 20:39
entering extended mode
**manual
(./manual.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/usr/share/texmf-tetex/tex/latex/base/book.cls
Document Class: book 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-tetex/tex/latex/base/bk12.clo
File: bk12.clo 2004/02/16 v1.4f 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
)
(/usr/share/texmf-tetex/tex/latex/base/makeidx.sty
Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
) (./conf04bm.sty
(/usr/share/texmf-tetex/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-tetex/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf-tetex/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen103
))
(/usr/share/texmf-tetex/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/usr/share/texmf-tetex/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count88
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count89
\leftroot@=\count90
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count91
\DOTSCASE@=\count92
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count93
\c@MaxMatrixCols=\count94
\dotsspace@=\muskip10
\c@parentequation=\count95
\dspbrk@lvl=\count96
\tag@help=\toks15
\row@=\count97
\column@=\count98
\maxfields@=\count99
\andhelp@=\toks16
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf-tetex/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
)
(/usr/share/texmf-tetex/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d
)
(/usr/share/texmf-tetex/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks24
)
(/usr/share/texmf-tetex/tex/latex/tools/array.sty
Package: array 2003/12/17 v2.4a Tabular extension package (FMi)
\col@sep=\dimen112
\extrarowheight=\dimen113
\NC@list=\toks25
\extratabsurround=\skip49
\backup@length=\skip50
)
(/usr/share/texmf-tetex/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
(/usr/share/texmf-tetex/tex/latex/tools/calc.sty
Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
\calc@Acount=\count100
\calc@Bcount=\count101
\calc@Adimen=\dimen114
\calc@Bdimen=\dimen115
\calc@Askip=\skip51
\calc@Bskip=\skip52
LaTeX Info: Redefining \setlength on input line 59.
LaTeX Info: Redefining \addtolength on input line 60.
\calc@denominator=\count102
)
(/usr/share/texmf-tetex/tex/latex/cite/cite.sty
LaTeX Info: Redefining \cite on input line 149.
LaTeX Info: Redefining \nocite on input line 214.
Package: cite 2003/11/04  v 4.01
)
(/usr/share/texmf-tetex/tex/latex/fancyhdr/fancyhdr.sty
\fancy@headwidth=\skip53
\f@ncyO@elh=\skip54
\f@ncyO@erh=\skip55
\f@ncyO@olh=\skip56
\f@ncyO@orh=\skip57
\f@ncyO@elf=\skip58
\f@ncyO@erf=\skip59
\f@ncyO@olf=\skip60
\f@ncyO@orf=\skip61
)
(/usr/share/texmf-tetex/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
(/usr/share/texmf-tetex/tex/latex/base/alltt.sty
Package: alltt 1997/06/16 v2.0g defines alltt environment
)
(/usr/share/texmf-tetex/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-tetex/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks26
)
(/usr/share/texmf-tetex/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-tetex/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texmf-tetex/tex/latex/graphics/graphics.cfg
File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 80.

(/usr/share/texmf-tetex/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen116
\Gin@req@width=\dimen117
))
\@indexfile=\write3
\openout3 = `manual.idx'.


Writing index file manual.idx
(./manual.aux (./forbegin.aux) (./Comput.aux) (./Bergfor.aux) (./App.aux)
(./bibl.aux))
\openout1 = `manual.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 9.
LaTeX Font Info:    ... okay on input line 9.
LaTeX Font Info:    Try loading font information for U+msa on input line 10.
 (/usr/share/texmf-tetex/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 10.

(/usr/share/texmf-tetex/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 10.

(/usr/share/texmf-tetex/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
) [1


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

(/usr/share/texmf-tetex/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 <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 28.
 [2] (./manual.toc [3

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

 [5] [6

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

 (./forbegin.tex [8

] [9]
Underfull \hbox (badness 10000) in paragraph at lines 123--124

 []


Underfull \hbox (badness 10000) in paragraph at lines 125--126

 []

[10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
Underfull \hbox (badness 10000) in paragraph at lines 752--761

 []

[20] [21] [22] [23] [24] [25]
Overfull \hbox (48.42522pt too wide) in paragraph at lines 1012--1012
[] \OT1/cmtt/m/n/12 exec /usr/.../bpsl -td 10000000 -f /home/.../bin/Linux_elf/
bergman.img[] 
 []

) [26]
Chapter 2.
[27


]
\openout2 = `Comput.aux'.

 (./Comput.tex [28

] [29] [30] [31] [32] [33] [34]
Overfull \hbox (24.30693pt too wide) detected at line 438
\OML/cmm/m/it/12 Ma \OT1/cmr/m/n/12 = [] [] = [] ; \OML/cmm/m/it/12 Mb \OT1/cmr
/m/n/12 = [] [] = []
 []

[35]
Overfull \hbox (29.9002pt too wide) in paragraph at lines 497--497
[]\OT1/cmtt/m/n/12 Now input in-variables and ideal generators in algebraic for
m, thus:[] 
 []


Overfull \hbox (29.9002pt too wide) in paragraph at lines 497--497
[]\OT1/cmtt/m/n/12 where v1, ..., vn are the variables, and r1, ..., rm the gen
erators.[] 
 []

[36]
Overfull \hbox (1.07834pt too wide) in paragraph at lines 523--530
[]\OT1/cmr/m/n/12 The []\OT1/cmr/m/it/12 co-ef-fi-cient do-main $\OML/cmm/m/it/
12 A$ \OT1/cmr/m/n/12 should be a sub-domain of the co-ef-fi-cient field $\OML/
cmm/m/it/12 K$\OT1/cmr/m/n/12 ,
 []

[37] [38] [39] [40] [41] [42]
Overfull \hbox (5.2002pt too wide) in paragraph at lines 949--949
[]   \OT1/cmtt/m/n/12 - clear the memory with (CLEARIDEAL), and run a new (SIMP
LE).[] 
 []

[43]
Overfull \hbox (5.2002pt too wide) in paragraph at lines 949--949
[]   \OT1/cmtt/m/n/12 - clear the memory with (CLEARIDEAL), and run a new (SIMP
LE).[] 
 []

[44] [45] [46] [47] [48] [49] [50]
Underfull \hbox (badness 10000) in paragraph at lines 1344--1345

 []


Underfull \hbox (badness 10000) in paragraph at lines 1346--1347

 []


Underfull \hbox (badness 10000) in paragraph at lines 1356--1357

 []


Underfull \hbox (badness 10000) in paragraph at lines 1365--1366

 []

[51] [52] [53] [54] [55] [56]
Overfull \hbox (32.8717pt too wide) detected at line 1618
[] \OT1/cmr/m/n/10 =
 []

[57] [58] [59] [60] [61]
Overfull \hbox (29.9002pt too wide) in paragraph at lines 1846--1846
[]\OT1/cmtt/m/n/12 Now input in-variables and ideal generators in algebraic for
m, thus:[] 
 []


Overfull \hbox (29.9002pt too wide) in paragraph at lines 1846--1846
[]\OT1/cmtt/m/n/12 where v1, ..., vn are the variables, and r1, ..., rm the gen
erators.[] 
 []


Overfull \hbox (5.2002pt too wide) in paragraph at lines 1846--1846
[]   \OT1/cmtt/m/n/12 - clear the memory with (CLEARIDEAL), and run a new (SIMP
LE).[] 
 []

[62] [63] [64] [65]
Overfull \hbox (5.2002pt too wide) in paragraph at lines 2020--2020
[]   \OT1/cmtt/m/n/12 - clear the memory with (CLEARIDEAL), and run a new (SIMP
LE).[] 
 []


Overfull \hbox (1.58575pt too wide) in paragraph at lines 2026--2026
[]\OT1/cmr/bx/n/17.28 Modules over non-commutative al-ge-bras 
 []

[66] [67] [68] [69] [70] [71]
Underfull \hbox (badness 10000) in paragraph at lines 2288--2290

 []

[72]
Underfull \hbox (badness 10000) in paragraph at lines 2331--2333

 []

[73] [74] [75] [76] [77]
Underfull \hbox (badness 10000) in paragraph at lines 2559--2561

 []

[78]
Underfull \hbox (badness 10000) in paragraph at lines 2583--2585

 []


Underfull \hbox (badness 10000) in paragraph at lines 2602--2604

 []

[79]
Underfull \hbox (badness 10000) in paragraph at lines 2623--2624

 []


Underfull \hbox (badness 10000) in paragraph at lines 2625--2628

 []

[80] [81] [82] [83] [84] [85]
Underfull \hbox (badness 10000) in paragraph at lines 2889--2891

 []


Underfull \hbox (badness 10000) in paragraph at lines 2917--2919

 []


Underfull \hbox (badness 10000) in paragraph at lines 2925--2928

 []

[86]
Underfull \hbox (badness 10000) in paragraph at lines 2939--2941

 []

[87]
Overfull \hbox (54.60022pt too wide) in paragraph at lines 3036--3036
[]\OT1/cmtt/m/n/12 where v1, ..., vn are all the variables, and r1, ..., rm the
 generators.[] 
 []

[88]
Underfull \hbox (badness 10000) in paragraph at lines 3050--3052

 []

[89]
Underfull \hbox (badness 10000) in paragraph at lines 3079--3081

 []


Underfull \hbox (badness 10000) in paragraph at lines 3087--3090

 []


Underfull \hbox (badness 10000) in paragraph at lines 3112--3114

 []

[90] [91]
Overfull \hbox (0.5495pt too wide) in paragraph at lines 3174--3174
\OT1/cmr/bx/n/14.4 right, two-sided ide-als, and factor-algebras, con-
 []

[92] [93] [94] [95]
Underfull \hbox (badness 10000) in paragraph at lines 3364--3365

 []


Underfull \hbox (badness 10000) in paragraph at lines 3395--3397

 []

[96]
Underfull \hbox (badness 10000) in paragraph at lines 3415--3417

 []

[97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107]
Underfull \hbox (badness 10000) in paragraph at lines 3865--3869

 []


Underfull \hbox (badness 10000) in paragraph at lines 3898--3900

 []


Underfull \hbox (badness 10000) in paragraph at lines 3906--3909

 []

[108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119]
[120] [121] [122] [123] [124] [125] [126] [127] [128] [129]
Overfull \hbox (3.29453pt too wide) in paragraph at lines 4902--4904
[]\OT1/cmr/m/n/12 The cor-re-spond-ing anal-o-gous for the cases when end de-gr
ee was achieved
 []

[130] [131] [132] [133] [134]
File: ss1_sess.eps Graphic file (type eps)
 <ss1_sess.eps> [135]
File: ss2_calc.eps Graphic file (type eps)
 <ss2_calc.eps>
File: ss3_coef.eps Graphic file (type eps)

<ss3_coef.eps> [136]
Overfull \hbox (2.26935pt too wide) in paragraph at lines 5184--5191
\OT1/cmr/m/n/12 user may switch be-tween [] \OT1/cmtt/m/n/12 deglex  \OT1/cmr/m
/n/12 and [] \OT1/cmtt/m/n/12 revdeglex. \OT1/cmr/m/n/12 In the non-commutative

 []

[137]
File: ss4_obje.eps Graphic file (type eps)
 <ss4_obje.eps>) [138]
Chapter 3.
[139


]
\openout2 = `Bergfor.aux'.

 (./Bergfor.tex [140

]
Overfull \hbox (8.40825pt too wide) in paragraph at lines 86--99
\OT1/cmr/m/n/12 of com-mu-ta-tiv-ity or non-com-mu-ta-tiv-ity has a name like [
]\OT1/cmtt/m/n/12 *#NonCommutativity#\OT1/cmr/m/n/12 ,
 []

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

 [142]
Overfull \vbox (156.3291pt too high) has occurred while \output is active []


[143] [144] [145] [146] [147] [148]
Overfull \hbox (1.53629pt too wide) in paragraph at lines 576--577
[]\OT1/cmr/m/n/12 Sets the cur-rent ob-ject type (e.g., RING, MOD-ULE, TWOM-OD-
ULES). 
 []


Overfull \hbox (1.35574pt too wide) in paragraph at lines 580--581
[]\OT1/cmr/m/n/12 Gets the cur-rent ob-ject type (e.g.,RING, MOD-ULE, TWOM-OD-U
LES). 
 []

[149] [150] [151] [152] [153] [154]
Overfull \hbox (2.87802pt too wide) in paragraph at lines 878--879
[]\OT1/cmr/m/n/12 Returns the cur-rent in-ter-rup-tion strat-egy (OR-DI-NARY or
 MINHILBLI-
 []

[155] [156] [157] [158] [159] [160] [161] [162] [163]
Overfull \hbox (0.2265pt too wide) in paragraph at lines 1374--1376
[]\OT1/cmr/m/n/12 The fol-low-ing pro-ce-dures are con-vert-ers be-tween dif-fe
r-ent forms and print-
 []

[164] [165] [166]
Overfull \hbox (1.77373pt too wide) in paragraph at lines 1499--1503
[]\OT1/cmr/m/n/12 Returns the "cur-rent de-gree" (which is or-di-nar-ily set wi
thin the Gr^^?obner
 []

[167]
Overfull \hbox (3.43788pt too wide) in paragraph at lines 1565--1569
[]\OT1/cmr/m/n/12 : EXPR Can-cels the
 []

[168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179]
[180]
Overfull \hbox (2.33078pt too wide) in paragraph at lines 2238--2243
[]\OT1/cmr/m/n/12 GROEBNERKERNEL ex-hibits out-put de-gree by de-gree, by means

 []

[181] [182] [183] [184]) [185] [186


]
Chapter 4.
[187]
\openout2 = `App.aux'.

 (./App.tex [188

] [189] [190] [191] [192] [193] [194] [195] [196]
Overfull \hbox (3.69064pt too wide) in paragraph at lines 457--465
[][] 
 []

[197]
Overfull \hbox (20.76685pt too wide) in paragraph at lines 566--592
[][] 
 []

[198]
Overfull \hbox (13.22527pt too wide) in paragraph at lines 597--606
[][] 
 []

[199] [200]
Overfull \hbox (7.12419pt too wide) in paragraph at lines 690--692
[]\OT1/cmr/m/n/12 Primitive: redand-co-eff, re-dor-co-eff, in[]form[]coefficien
t, out[]form[]coefficient. 
 []


Overfull \hbox (14.21338pt too wide) in paragraph at lines 726--737
[][] 
 []

[201]
Overfull \hbox (9.01056pt too wide) in paragraph at lines 780--786
[] 
 []


Overfull \hbox (20.10767pt too wide) in paragraph at lines 792--806
[] 
 []

[202] [203]
Overfull \hbox (2.03084pt too wide) in paragraph at lines 886--892
[]\OT1/cmr/m/n/12 In the be-gin-ning of an or-di-nary GROEB-N-ERK-ER-NEL ap-pli
-ca-tion, SPairs
 []

[204] [205] [206] [207] [208] [209]) [210]
\openout2 = `bibl.aux'.

 (./bibl.tex [211



]
Underfull \hbox (badness 1072) in paragraph at lines 46--50
[]\OT1/cmr/m/n/12 G.-M. Greuel, G. Pfis-ter, and H. Sch^^?onemann.  \OT1/cmr/m/
sc/12 Sin-gu-lar \OT1/cmr/m/n/12 2.0.
 []


Underfull \hbox (badness 2809) in paragraph at lines 46--50
\OT1/cmr/m/n/12 tre for Com-puter Al-ge-bra, Uni-ver-sity of Kaiser-slautern (2
001).
 []

[212]) [213] (./manual.ind [214

]
Overfull \hbox (5.43964pt too wide) in paragraph at lines 48--49
[]\OT1/cmr/m/n/12 calculateanickresolutiontolimit, 77, 80,
 []

[215

] [216] [217] [218] [219] [220]) (./manual.aux (./forbegin.aux)
(./Comput.aux) (./Bergfor.aux) (./App.aux) (./bibl.aux)) ) 
Here is how much of TeX's memory you used:
 2093 strings out of 94501
 23996 string characters out of 1175811
 76602 words of memory out of 1000000
 5178 multiletter control sequences out of 10000+50000
 17290 words of font info for 70 fonts, out of 500000 for 2000
 580 hyphenation exceptions out of 8191
 34i,10n,45p,685b,348s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on manual.dvi (220 pages, 480188 bytes).
