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

Factor (modified)PolynomialReduce

GroebnerBasis

FilledSmallSquareGroebnerBasis[, , ... , , , ... ] gives a list of polynomials that form a Gröbner basis for the set of polynomials .

FilledSmallSquareGroebnerBasis[, , ... , , , ... , , , ... ] finds a Gröbner basis in which the have been eliminated.

FilledSmallSquare The set of polynomials in a Gröbner basis have the same collection of roots as the original polynomials.

FilledSmallSquare For polynomials in one variable, GroebnerBasis reduces to PolynomialGCD.

FilledSmallSquare For linear functions in any number of variables, GroebnerBasis is equivalent to Gaussian elimination.

FilledSmallSquare The Gröbner basis in general depends on the ordering assigned to monomials. This ordering is affected by the ordering of the .

FilledSmallSquare The following options can be given:

FilledSmallSquare Possible settings for MonomialOrder are Lexicographic, DegreeLexicographic, DegreeReverseLexicographic or an explicit weight matrix. Monomials are specified for the purpose of MonomialOrder by lists of the exponents with which the appear in them.

FilledSmallSquare The ordering of the and the setting for MonomialOrder can substantially affect the efficiency of GroebnerBasis.

FilledSmallSquare Possible settings for CoefficientDomain are InexactNumbers, Rationals, RationalFunctions and Polynomials[x].

FilledSmallSquare See The Mathematica Book: Section 3.3.4.

FilledSmallSquare Implementation Notes: see section A.9.5.

FilledSmallSquare See also: PolynomialReduce, PolynomialGCD, Solve, RowReduce, Eliminate.

Further Examples

Factor (modified)PolynomialReduce