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

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

Synopsis:

Function: cohomology -- general cohomology functor

Input:

an instance of class ZZ.

an instance of class ChainComplexMap.

Output:

an instance of class Matrix.

Optional arguments :

cohomology(..., Degree)

HH^i f -- provides the map on the i-th cohomology module by a map f of chain complexes.

See also:

cohomology -- general cohomology functor

HH -- general homology and cohomology functor

Code:

     -- ../../../Macaulay2/m2/chaincomplexes.m2:455
     cohomology(ZZ,ChainComplexMap) := Matrix => opts -> (i,f) -> homology(-i,f)