next | previous | forward | backward | up | top | index | toc | home

resolution -- projective resolution

Synopsis

Optional inputs:
- DegreeLimit => ..., -- compute only up to this degree
- 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 are obtained

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 projective resolution of a module