PrimaryDecomposition -- primary decomposition of an ideal |
Syntax |
PrimaryDecomposition(I: IDEAL): LIST of IDEAL |
Description |
Example |
/**/ use P ::= QQ[x,y,z]; /**/ PrimaryDecomposition(ideal(x*y, y*z, z*x)); [ideal(y, z), ideal(x, z), ideal(x, y)] /**/ PD := PrimaryDecomposition(ideal(x -z, y^2 -1, z^2)); PD; [ideal(y +1, x -z, y^2 -1, z^2), ideal(y -1, x -z, y^2 -1, z^2)] /**/ [IdealOfGBasis(Q) | Q in PD]; // remove some redundant generators [ideal(y +1, x -z, z^2), ideal(y -1, x -z, z^2)] |
See Also |