HH^ZZ ChainComplex -- cohomology of a chain complex

HH^ZZ ChainComplex -- cohomology of a chain complex

Synopsis:

Function: cohomology -- general cohomology functor

Input:

an instance of class ZZ.

an instance of class ChainComplex.

Output:

an instance of class Module.

Optional arguments :

cohomology(..., Degree)

HH^i C -- homology at the i-th spot of the chain complex C.

By definition, this is the same as HH_(-i) C.

Code:

     -- ../../../Macaulay2/m2/chaincomplexes.m2:450
     cohomology(ZZ,ChainComplex) := Module => opts -> (i,C) -> homology(-i, C)