PrimaryDecomposition0 |
Syntax |
PrimaryDecomposition0(I: IDEAL): RECORD of LIST of IDEAL |
Description |
Example |
/**/ Use R ::= QQ[x,y,z]; /**/ PD := PrimaryDecomposition0(ideal(x-z, y^2-1, z^2)); /**/ indent(PD); record[ IsCertified := true, PrDec_I := [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)); /**/ indent(PD); record[ IsCertified := true, PrDec_I := [ideal(x +z, z^2, y^2 +1)] ] |
See Also |