(resolution,Module)

resolution M -- produces a projective resolution of the module M.

If the computation is interrupted after the skeleton has been successfully computed, then the partially completed resolution is available as M.resolution. The computation can be continued with resolution M.

If the user has a chain complex in hand which is known to be a projective resolution of M, then it can be installed with M.resolution = C.

Optional arguments and flags:

resolution(Algorithm => ...) -- which algorithm to use

resolution(StopBeforeComputation => ...) -- whether to stop the computation immediately

resolution(DegreeLimit => ...) -- compute only up to this degree

resolution(HardDegreeLimit => ...) -- always compute only up to this degree

resolution(SyzygyLimit => ...) -- stop when this number of syzygies are obtained

resolution(PairLimit => ...) -- stop when this number of pairs are handled

resolution(LengthLimit => ...) -- stop when the resolution reaches this length

resolution(SortStrategy => ...) -- specify strategy for sorting S-pairs

For an abbreviation, use res.