To discuss these I must first discuss the normal form reduction (`normalf`

in the `grobner`

package in Maple). This is essentially the multivariate
version of taking remainders (except that we take the remainder with respect to
an ideal, instead of with respect to a single polynomial).

- Some more definitions
- Multivariate division by an ideal
- S-polynomials and Buchberger's algorithm
- The vector space of reduced polynomials
- Roots of the system are eigenvalues of a commuting family

Tue Mar 12 21:09:19 EST 1996