HH ChainComplex -- homology of a chain complex

HH ChainComplex -- homology of a chain complex

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

Synopsis of use:

Operator: homology

Class of argument 1: ChainComplex

Class of typical returned value: GradedModule

Optional arguments :

Code:

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