resolution

resolution M -- produces a projective resolution of the module M.

If the computation is interrupted after the skeleton has been successfully computed, then the partially completed resolution is available as M.resolution . The computation can be continued with resolution M .

If the user has a chain complex in hand which is known to be a projective resolution of M , then it can be installed with M.resolution = C .

Optional arguments and flags:

  • Compute -- whether to start the computation
  • DegreeLimit -- compute only up to this degree
  • SyzygyLimit -- stop when this number of syzygies are obtained
  • PairLimit -- stop when this number of pairs are handled
  • NextExponentSize -- the number of bits to use for each exponent the next time expansion occurs
  • LengthLimit -- stop when the resolution reaches this length
  • SortFrom -- don't sort S-pairs until this level is reached
  • SortPairs -- specify method for sorting S-pairs
  • SortStrategy -- specify strategy for sorting S-pairs

    • For an abbreviation, use res.

    See also ChainComplex.

    Go to main index.

    Go to concepts index.