# resolution -- projective resolution

## Synopsis

• Optional inputs:
• DegreeLimit => ..., default value null, compute only up to this degree
• FastNonminimal => ..., default value false, compute a non-minimal graded free resolution
• HardDegreeLimit => ..., default value {},
• LengthLimit => ..., default value infinity, stop when the resolution reaches this length
• PairLimit => ..., default value infinity, stop when this number of pairs has been handled
• SortStrategy => ..., default value 0,
• StopBeforeComputation => ..., default value false, whether to stop the computation immediately
• Strategy => ..., default value null,
• SyzygyLimit => ..., default value infinity, stop when this number of syzygies is reached

## Ways to use resolution :

• 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

## For the programmer

The object resolution is .