Decompose an ideal into ideals of distinct dimension
a polynomial ideal
The EquidimensionalDecomposition command computes a sequence of ideals of distinct Hilbert dimension whose intersection is equal to the original ideal. Assuming there are no embedded primes, the prime components of each ideal in the sequence have the same dimension also. In general this decomposition is not unique.
This function is part of the PolynomialIdeals package, and can be used in the form EquidimensionalDecomposition(..) only after executing the command with(PolynomialIdeals). However, it can always be accessed through the long form of the command using PolynomialIdeals[EquidimensionalDecomposition](..).
In the example below, the variety is composed of five points (dimension zero), three curves (dimension one), and one surface (dimension two). The equidimensional decomposition places all of the points, all of the curves, and all of the surfaces into separate ideals.
J ≔ z4⁢x3+z4⁢y2−z5−z4⁢x−z⁢x4−x⁢y2⁢z+z2⁢x+z⁢x2,x2⁢y2−z⁢x2+z⁢x−y2⁢z−x3⁢z−y⁢z+x3⁢y−x⁢y+x5−x3+y3+z2,z3⁢x4+z3⁢x⁢y2−z3⁢x3−x5−y2⁢z3−z3⁢x2−z4⁢x−x2⁢y2+x4+z3⁢x+z4+x⁢y2+x3+z⁢x2−x2−z⁢x:
E ≔ EquidimensionalDecomposition⁡J
The next example illustrates what happens when embedded primes are present.
K ≔ x2−y,x3−y⁢z⁢w
E ≔ EquidimensionalDecomposition⁡K
Becker, T., and Weispfenning, V. Groebner Bases. Springer-Verlag, 1993.
The PolynomialIdeals[EquidimensionalDecomposition] command was updated in Maple 16.
Download Help Document
What kind of issue would you like to report? (Optional)