resolution Matrix -- make a projective resolution

resolution Matrix -- make a projective resolution

Synopsis:

Function: resolution -- make a projective resolution

Input:

an instance of class Matrix.

Output:

an instance of class ChainComplexMap.

Optional arguments :

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

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

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

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

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

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

resolution(..., Strategy => ...) -- specify a computational strategy

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

resolution f -- when f is a module homomorphism, produces a chain map from a resolution of the source of f to a resolution of the target of f.

See also:

free resolutions of modules

Code:

     -- ../../../Macaulay2/m2/res.m2:163-166
     resolution Matrix := ChainComplexMap => options -> (f) -> extend(
          resolution(target f, options), 
          resolution(source f, options), 
          matrix f)