HH^ZZ ChainComplexMap -- cohomology of a chain complex map

Synopsis

• Function: cohomology

• Usage:

  HH^i f

• Inputs:
  • i, an integer
  • f, a chain complex map
• Optional inputs:
  • Degree => ..., default value 0,
• Outputs:
  • a matrix, the i-th cohomology map induced by the chain complex map f

Description

The command provides the map on the i-th cohomology module induced by a map f of chain complexes.

See also

• cohomology -- general cohomology functor
• HH -- general homology and cohomology functor
• ChainComplex -- the class of all chain complexes