- Optional inputs:
- DegreeLimit => ..., -- compute only up to this degree
- FastNonminimal => ...,
- HardDegreeLimit => ...,
- LengthLimit => ..., -- stop when the resolution reaches this length
- PairLimit => ..., -- stop when this number of pairs has been handled
- SortStrategy => ...,
- StopBeforeComputation => ..., -- whether to stop the computation immediately
- Strategy => ...,
- SyzygyLimit => ..., -- stop when this number of syzygies is reached

`resolution(ChainComplex)`(missing documentation) -- Resolves a ChainComplex.- resolution(Ideal) -- compute a projective resolution of (the quotient ring corresponding to) an ideal
- resolution(MonomialIdeal), see resolution(Ideal) -- compute a projective resolution of (the quotient ring corresponding to) an ideal
- resolution(Matrix) -- given a module map represented by a matrix, produce a comparison map between resolutions of its source and target
- resolution(Module) -- compute a free resolution of a module