R = coarseMultigradedRegularity M
Uses a free resolution and takes the maximum degree of the terms.
|
|
|
|
|
|
See the proof of Proposition 2.7 in Tate Resolutions on Products of Projective Spaces.
The object coarseMultigradedRegularity is a method function with options.