HH ChainComplex -- homology of a chain complex

HH ChainComplex -- homology of a chain complex

Synopsis:

Function: homology -- general homology functor

Input:

an instance of class ChainComplex.

Output:

an instance of class GradedModule.

Optional arguments :

HH C -- produces the direct sum of the homology modules of the chain complex C as a graded module.

See also:

GradedModule -- the class of all graded modules

HH -- general homology and cohomology functor

Code:

     -- ../../../Macaulay2/m2/chaincomplexes.m2:457-462
     homology(Nothing,ChainComplex) := homology(ChainComplex) := GradedModule => opts -> (C) -> (
          H := new GradedModule;
          H.ring = ring C;
          complete C;
          scan(spots C, i -> H#i = homology(i,C));
          H)