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

Documentation / Mathematica / Built-in Functions / New in Version 3.x / Algebraic Computation /

PolynomialReduce

FilledSmallSquare PolynomialReduce[poly, , , ... , , , ... ] yields a list representing a reduction of poly in terms of the .

FilledSmallSquare The list has the form , , ... , b, where b is minimal and + + ... + b is exactly poly.

FilledSmallSquare The polynomial b has the property that none of its terms are divisible by leading terms of any of the .

FilledSmallSquare If the form a Gröbner basis then this property uniquely determines the remainder obtained from PolynomialReduce.

FilledSmallSquare The following options can be given, as for GroebnerBasis:

FilledSmallSquare See Section 3.3.4.

FilledSmallSquare See also: GroebnerBasis, PolynomialRemainder, PolynomialMod.

FilledSmallSquare Related package: Algebra`SymmetricPolynomials`.

FilledSmallSquare New in Version 3.

Further Examples