decompose an ideal into zero-dimensional ideals - 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

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:

J:=xyy

J:=xyy

(1)

zdd:=ZeroDimensionalDecompositionJ

zdd:=y,x1

(2)

IntersectopmapContract,zdd,x,y

xyy

(3)

K:=2y3+3x3z,y2z2

K:=y2z2,3x3z2y3

(4)

zdd:=ZeroDimensionalDecompositionK

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)

L:=xy,x3yzw

L:=xy,wyz+x3

(9)

ZeroDimensionalDecompositionL

x,y,yx,wzx2,w,x3,yx

(10)

mapIsRadical,

true,true,false

(11)

IsRadicalL

true

(12)

L2:=x2y,x3yzw

L2:=x2y,wyz+x3

(13)

ZeroDimensionalDecompositionL2

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

(14)

mapIsRadical,

false,true,false

(15)

IsRadicalL2

false

(16)

See Also

map, op, PolynomialIdeals, PolynomialIdeals[Contract], PolynomialIdeals[IdealContainment], PolynomialIdeals[Intersect], PolynomialIdeals[IsRadical], PolynomialIdeals[Radical], PolynomialIdeals[Simplify]

References

  

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


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