yields a list representing a reduction of poly in terms of the . The list has the form , where b is minimal and is exactly poly.
- The polynomial b has the property that none of its terms are divisible by leading terms of any of the .
- If the form a Gröbner basis then this property uniquely determines the remainder obtained from PolynomialReduce.
- The following options can be given, as for GroebnerBasis:
MonomialOrder Lexicographic the criterion used for ordering monomials CoefficientDomain Rationals the type of objects assumed to be coefficients Modulus 0 the modulus for numerical coefficients
Introduced in 1996