[next][previous][up][top][index]
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

  • [next][previous][up][top][index]
    search for: