Homology(C,n):: ChainComplex, Int --> List
Homology(F,n):: ChainMap, Int --> GroupHomomorphism
Homology(K,n):: CubicalComplex, Int --> List
Homology(K,n):: PureCubicalComplex, Int --> List
Homology(K,n):: PurePermComplex, Int --> List
Homology(K,n):: RegCWComplex, Int --> List
Homology(K,n):: SimplicialComplex, Int --> List

Inputs a chain complex C and integer n \ge 0 and returns the n-th homology group of C as a list of its abelian invariants.

Inputs a chain map F and integer n \ge 0. It returns the induced homology homomorphism H_n(F) as a homomorphism of finitely presented groups.

Inputs a cubical, or pure cubical, or pure permutahedral or regular CW or simplicial complex K together with an integer n \ge 0. It returns the n-th integral homology group of K as a list of its abelian invariants.