MuPAD

  Chapter 8






Important: To access MuPAD worksheet files from this window, your browser must recognize the mnb file extension. If not, load the files with the MuPAD interface.

Section 8.1

Reduction, Figure 8.1 page 316 (Reduction.txt,
    requires the procedures
       Leading_monomial, Figure 6.2 page 215)

Section 8.2

MuPAD's groebner::gbasis operator (groebnergbasis.mnb, see Exercise 1, page 333)

Section 8.3

G_basis, Figure 8.2 page 337 (G_basis.txt,
    requires the procedures
       Reduction, Figure 8.1 page 316
       S_poly (Exercise 10(c), page 334))
Simplify_side_relations, Figure 8.3 page 343 (Simplify_side_relations.txt,
    requires the procedures
       Reduction, Figure 8.1 page 316, requires additional procedures (see file),
       G_basis, Figure 8.2 page 337, requires additional procedure (see file),
       Elim_poly (Exercise 5, page 346))