saturate(..., MinimalGenerators => ...) -- whether to compute minimal generators

Synopsis

Usage:
saturate(...,MinimalGenerators=>b)
Inputs:
- b, a Boolean value, default is true
Consequences:
- If b is false, then the minimalization of the saturation will not be done

Sometimes the extra time to find the minimal generators is too large. This allows one to bypass this part of the computation.

i1 : R = ZZ/101[x_0..x_4]

o1 = R

o1 : PolynomialRing

i2 : I = truncate(8, monomialCurveIdeal(R,{1,4,5,9}));

o2 : Ideal of R

i3 : time gens gb I;
     -- used 0.042994 seconds

             1       428
o3 : Matrix R  <--- R

i4 : time J1 = saturate(I);
     -- used 0.125981 seconds

o4 : Ideal of R

i5 : time J = saturate(I, MinimalGenerators=>false);
     -- used 0.122981 seconds

o5 : Ideal of R

i6 : numgens J

o6 = 1002

i7 : numgens J1

o7 = 7

Most of the time, you don't want to do this!