CoCoA:HSaturation

HSaturation

saturation of ideals

Description

This functions 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 <formula>d</formula>.

It calculates the saturation using a Hilbert-driven algorithm.

It differs from <ttref>Saturation</ttref> only when the

input is inhomogeneous, in which case, HSaturation may be faster.

The coefficient ring must be a field.

Example

  Use R ::= Q[x,y];
  I := Ideal(x^4-x, yx-2x);
  Saturation(I, Ideal(x));
  HSaturation(I, Ideal(x));

Syntax

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

Colon

HColon

Saturation

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