resolution Ideal -- make a projective resolution

resolution Ideal -- make a projective resolution

Synopsis:

Function: resolution -- make a projective resolution

Input:

an instance of class Ideal.

Output:

an instance of class ChainComplex.

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 I -- produces a projective resolution of the module R/I if I is an ideal in the ring R.

Code:

     -- ../../../Macaulay2/m2/res.m2:168-172
     resolution Ideal := ChainComplex => options -> (I) -> resolution(
          if I.cache.?quotient 
          then I.cache.quotient
          else I.cache.quotient = (ring I)^1/I,
          options)