This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)


PolynomialReduce[poly, {poly1, poly2, ...}, {x1, x2, ...}]
yields a list representing a reduction of poly in terms of the polyi. The list has the form {{a1, a2, ...}, b}, where b is minimal and a1 poly1+a2 poly2+... +b is exactly poly.
  • The polynomial b has the property that none of its terms are divisible by leading terms of any of the polyi.
  • If the polyi form a Gröbner basis then this property uniquely determines the remainder obtained from PolynomialReduce.
MonomialOrderLexicographicthe criterion used for ordering monomials
CoefficientDomainRationalsthe type of objects assumed to be coefficients
Modulus0the modulus for numerical coefficients
New in 3