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