For each s computes the maximum, over all monomial primes P with codimension s-1 in the ambient ring, of the minimal size of a generating set of I localized at P. If this number is less than s, then s is included in the list.
The values s returned are the numbers such that an s-residual intersection of I exists.
i1 : R = ZZ/101[a,b,c]; |
i2 : I = monomialIdeal{a*b,b*c^2}
2
o2 = monomialIdeal (a*b, b*c )
o2 : MonomialIdeal of R
|
i3 : residualCodims I
o3 = {2, 3, 4}
o3 : List
|
The object residualCodims is a method function.