saturate(Module,Ideal) -- saturation of ideal or submodule

saturate(Module,Ideal) -- saturation of ideal or submodule

Synopsis:

Function: saturate -- saturation of ideal or submodule

Input:

an instance of class Module.

an instance of class Ideal.

Output:

an instance of class Module.

Optional arguments :

saturate(..., DegreeLimit => ...) -- compute up to a certain degree

saturate(..., MinimalGenerators => ...)

saturate(..., Strategy => ...) -- specify a computational strategy

Code:

     -- ../../../Macaulay2/m2/colon.m2:336-343
     saturate(Module,Ideal) := Module => options -> (M,I) -> (
         -- various cases here
         M1 := M : I;
         while M1 != M do (
              M = M1;
              M1 = M : I;
              );
         M)