Contract - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


PolynomialIdeals

  

Contract

  

contract an ideal to a larger ring

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

Contract(J, X)

Parameters

J

-

polynomial ideal

X

-

set of variable names

Description

• 

The Contract command contracts the image of an ideal in  back to the polynomial ring .

• 

The typical use of this command is to contract the result of a zero-dimensional decomposition back to the original ring. This is part of a process used to extend algorithms for zero-dimensional ideals to ideals of positive dimension. For additional details, see the help page for ZeroDimensionalDecomposition.

Examples

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

References

  

Becker, T., and Weispfenning, V. Groebner Bases. New York: Springer-Verlag, 1993.

See Also

PolynomialIdeals

PolynomialIdeals[HilbertDimension]

PolynomialIdeals[IdealContainment]

PolynomialIdeals[IdealInfo]

PolynomialIdeals[Intersect]

PolynomialIdeals[ZeroDimensionalDecomposition]

 


Download Help Document