L = residualCodims I
For each s computes the maximum, over all monomial primes P with codimension s1 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 sresidual intersection of I exists.



The object residualCodims is a method function.