ChainComplexMap

ChainComplexMap -- the class of all maps between chain complexes.

The usual algebraic operations are available: addition, subtraction, scalar multiplication, and composition. The identity map from a chain complex to itself can be produced with id. An attempt to add (subtract, or compare) a ring element to a chain complex will result in the ring element being multiplied by the appropriate identity map.

Operations on maps of chain complexes:

  • !=
  • ==
  • +
  • -
  • * -- composition
  • ^ -- power (repeated composition)
  • ++ -- direct sum
  • cone -- mapping cone
  • extend -- produce a map by lifting
  • ring -- get the base ring
  • nullhomotopy -- produce a null homotopy
  • ChainComplexMap ** ChainComplex -- tensor product
  • ChainComplex ** ChainComplexMap -- tensor product
  • ChainComplexMap ** ChainComplexMap -- tensor product
  • ChainComplexMap _ ZZ -- get a component from a map of chain complexes

    • topindexpreviousupnext