Synopsis:
Code:
-- ../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)