saturate -- saturation of ideals |
Syntax |
saturate(I: IDEAL, J: IDEAL): IDEAL |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ I := ideal(x-z, y-2*z); /**/ J := ideal(x-2*z, y-z); /**/ K := intersection(I, J); -- ideal of two points in the -- projective plane /**/ L := intersection(K, ideal(x,y,z)^3); -- add an irrelevant component /**/ HilbertFn(R/L); H(0) = 1 H(1) = 3 H(2) = 6 H(t) = 2 for t >= 3 /**/ saturate(L, ideal(x,y,z)) = K; -- saturating gets rid of the -- irrelevant component true |
See Also |