HH_ZZ ChainComplexMap -- homology of a chain complex map

HH_ZZ ChainComplexMap -- homology of a chain complex map

Synopsis:

Function: homology -- general homology functor

Input:

an instance of class ZZ.

an instance of class ChainComplexMap.

Output:

an instance of class Matrix.

Optional arguments :

HH_i f -- provides the map on the i-th homology module by a map f of chain complexes.

See also:

homology -- general homology functor

HH -- general homology and cohomology functor

Code:

     -- ../../../Macaulay2/m2/chaincomplexes.m2:452-454
     homology(ZZ,ChainComplexMap) := Matrix => opts -> (i,f) -> (
          inducedMap(homology(i+degree f,target f), homology(i,source f),f_i)
          )