search for:
resolution Module
-- make a projective resolution
Synopsis:
Usage:
C = resolution M
Function:
resolution
-- make a projective resolution
Input:
M
, an instance of class
Module
: a module
Output:
C
, an instance of class
ChainComplex
: a free resolution of
M
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
For an abbreviation, use
res
.
See also:
computing resolutions
search for: