PrimaryDecomposition0 |
Syntax |
PrimaryDecomposition0(I: IDEAL): LIST of IDEAL |
Description |
Example |
/**/ use QQ[x,y,z]; /**/ PD := PrimaryDecomposition0(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)] /**/ use ZZ/(2)[x,y,z]; /**/ PD := PrimaryDecomposition0(ideal(x +z, y^2 +1, z^2)); PD; [ideal(x +z, y^2 +1, z^2)] /**/ IsPrimary(PD[1]); true |
See Also |