PolynomialIdeals - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : PolynomialIdeals : PolynomialIdeals/ZeroDimensionalDecomposition

PolynomialIdeals

  

ZeroDimensionalDecomposition

  

decompose an ideal into zero-dimensional ideals

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

ZeroDimensionalDecomposition(J)

Parameters

J

-

polynomial ideal

Description

• 

The ZeroDimensionalDecomposition command computes a sequence of zero-dimensional ideals, some of which may lie in extended polynomial rings.  That is, to make the resulting ideals zero-dimensional, ring variables can be moved into the coefficient field.  If the ideals in the resulting sequence are contracted back to the original ring and intersected, you get the original ideal.  In general, this decomposition is not unique.

• 

This command allows you to run algorithms for zero-dimensional ideals on ideals of positive Hilbert dimension.  Be aware that some algorithms do not interact well with the extension and contraction process.  In particular, you cannot use this process to directly test whether an ideal is radical because the decomposition of a radical ideal may contain non-radical components that vanish under contraction and intersection.  Valid applications include solving, testing whether an ideal is prime or primary, and computing prime or primary decompositions or radical of an ideal.

Examples

withPolynomialIdeals:

Jxyy

J:=xyy

(1)

zddZeroDimensionalDecompositionJ

zdd:=y,x1

(2)

IntersectopmapContract,zdd,x,y

xyy

(3)

K2y3+3x3z,y2z2

K:=y2z2,3x3z2y3

(4)

zddZeroDimensionalDecompositionK

zdd:=x3,y2,y8,z3,y2z2,zy5,3x3z2y3

(5)

mapSimplify@Radical,zdd

x,y,y,z

(6)

IntersectopmapContract,,x,y,z

y,zx

(7)

RadicalK

y,zx

(8)

Lxy,x3yzw

L:=xy,wyz+x3

(9)

ZeroDimensionalDecompositionL

x,y,x+y,wzx2,w,x3,x+y

(10)

mapIsRadical,

true,true,false

(11)

IsRadicalL

true

(12)

L2x2y,x3yzw

L2:=x2y,wyz+x3

(13)

ZeroDimensionalDecompositionL2

y,x2,x2y,wzx,w,y2,xy,x2y

(14)

mapIsRadical,

false,true,false

(15)

IsRadicalL2

false

(16)

References

  

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

See Also

map

op

PolynomialIdeals

PolynomialIdeals[Contract]

PolynomialIdeals[IdealContainment]

PolynomialIdeals[Intersect]

PolynomialIdeals[IsRadical]

PolynomialIdeals[Radical]

PolynomialIdeals[Simplify]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam