L = residualCodims I
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.
|
|
|
The object residualCodims is a method function.