#cdf-show-file.cdf-text { top:105px; } .ObsBanner {color:black; width:430px; padding-left:7px; padding-right:7px; padding-top:6px; padding-bottom:6px; position:absolute; left:180px; top:125px; font-size:10px; font-weight:normal; font-family:Verdana, Arial, Helvetica, sans-serif; font-stretch:narrow; background:#fffdc8; border:solid 2px #ffbb33; line-height:16px; z-index:3;} .ObsBanner a:link {font-weight:bold; color:#cc6600;} .ObsBanner a:hover {font-weight:bold; color:#cc6600;} .ObsBanner a:visited {font-weight:bold; color:#cc6600;} THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

# PolynomialReduce

 PolynomialReduceyields 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.
 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
Reduce a polynomial with respect to a list of polynomials :
is a linear combination of polynomials and a remainder term :
Reduce a polynomial with respect to a list of polynomials :
 Out[2]=
is a linear combination of polynomials and a remainder term :
 Out[3]=
 Scope   (1)
Reduce a polynomial modulo a list of polynomials which is not a Gröbner basis:
The remainder is not zero, even though belongs to the ideal generated by :
When belongs to the ideal generated by , the remainder modulo must be zero:
 Options   (4)
By default, PolynomialReduce works over the field of rational functions of parameters:
Compute the Gröbner basis of over the field of rational functions :
Reduce modulo over the field of rational functions :
Compute the Gröbner basis and reduce over the integers:
Compute the Gröbner basis and reduce over the rationals:
Compute the Gröbner basis and reduce using approximate arithmetic:
The precision used is chosen automatically based on the precision of the Gröbner basis:
Compute a Gröbner basis and reduce a polynomial over the integers modulo 7:
By default, PolynomialReduce uses the monomial order:
Any allowed by GroebnerBasis can be used:
Compute approximate quotients:
With the default zero tolerance d does not divide p:
Increase the tolerance to obtain an approximate quotient and a zero remainder:
 Applications   (3)
Test whether polynomials belong to the ideal generated by a set of polynomials:
The remainder is zero, hence f belongs to the ideal generated by polys:
The remainder is not zero, hence g does not belong to the ideal generated by polys:
Replace variables in a polynomial using equations relating old and new variables:
The remainder gives a representation of poly in terms of a and b:
This proves correctness of the representation:
Compute the representation of a polynomial in an algebra :
Introduce tag variables and order them last in the monomial ordering:
Since the remainder is in , this shows that :
Check the result:
Reduce a polynomial with respect to a list of polynomials:
f is equal to the linear combination of polys with coefficients qs plus the remainder r:
A polynomial belongs to the ideal generated by a Gröbner basis iff it reduces to zero:
This shows that is in the ideal :
Univariate PolynomialReduce is equivalent to PolynomialQuotientRemainder:
New in 3
 Site Index Choose Language