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.
i1 : R = QQ[x_1,x_2,x_3]; |
i2 : I = monomialIdeal(x_1^2,x_1*x_2,x_1*x_3,x_2^2,x_2*x_3); o2 : MonomialIdeal of R |
i3 : maxGs(I) o3 = 3 |
The object maxGs is a method function.