EquiIsoDec |
Syntax |
EquiIsoDec(I: IDEAL): LIST of IDEAL |
Description |
Example |
Use R ::= QQ[x,y,z]; I := intersect(ideal(x-1,y-1,z-1), ideal(x-2,y-2)^2, ideal(x)^3); H := EquiIsoDec(I); H; [ideal(x), ideal(z - 1, y - 1, x - 1), ideal(xy - y^2 - 2x + 2y, x^2 - y^2 - 4x + 4y, y^2z - y^2 - 4yz + 4y + 4z - 4, y^3 - 5y^2 + 8y - 4, x - 2)] ------------------------------- T := [radical(J)|J In H]; S := IntersectionList(T); radical(I) = S; True ------------------------------- |
See Also |