d = maxGs I
Recall that an ideal I has the property G_s if, for every prime P with codim P <s, the localization I_P is generated by at most codim P elements. For example, if s = codim I, then I is G_s iff I is generically a complete intersection.



The object maxGs is a method function.