CoCoA:Saturation

From ApCoCoAWiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Saturation

saturation of ideals

Description

This function returns the saturation of I with respect to J: the

ideal of polynomials F such that F*G is in I for all G in <formula>J^d</formula>

for some positive integer d.

The coefficient ring must be a field.

Example

  Use R ::= Q[x,y,z];
  I := Ideal(x-z, y-2z);
  J := Ideal(x-2z, 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
  Hilbert(R/L);
H(0) = 1
H(1) = 3
H(2) = 6
H(t) = 2   for t &gt;= 3
-------------------------------
  Saturation(L, Ideal(x,y,z)) = K; -- saturating gets rid of the
                                   -- irrelevant component
TRUE
-------------------------------

Syntax

Saturation(I:IDEAL,J:IDEAL):IDEAL

Colon

HColon

HSaturation

GBasis5, and more

   <type>groebner</type>
   <type>groebner-basic</type>
   <type>ideal</type>
   <type>cocoaserver</type>