Computes the non-free parts M_i of the MCM approximation to M over R_i, stopping when M_i becomes free, and returns the list whose elements are the pairs of regularities, starting with M_{(c-1)} Note that the first pair is for the
|
|
|
|
|
The object regularitySequence is a method function.