Mathematica
Chapter 8
Important:
To access Mathematica worksheet files from this window, your browser
must recognize the nb file extension. If not, load
the files with the Mathematica interface.
Section 8.1
Reduction, Figure 8.1
page 316 (Reduction.txt,
requires the procedures
LeadingMonomial, Figure 6.2
page 215)
Section 8.2
Mathematica's GroebnerBasis operator
(GroebnerBasis.nb, see Exercise 1, page 333)
Section 8.3
GBasis, Figure 8.2
page 337 (GBasis.txt,
requires the procedures
Reduction, Figure 8.1
page 316
SPoly (Exercise 10(c), page 334))
SimplifySideRelations, Figure 8.3
page 343 (SimplifySideRelations.txt,
requires the procedures
Reduction, Figure 8.1
page 316, requires additional
procedures (see file),
GBasis, Figure 8.2
page 337, requires additional
procedure (see file),
ElimPoly
(Exercise 5, page 346))