<Verb>Cohomology(C,n):: CochainComplex, Int --> List</Verb>
<Verb>Cohomology(F,n):: CochainMap, Int --> GroupHomomorphism</Verb>
<Verb>Cohomology(K,n):: CubicalComplex, Int --> List</Verb>
<Verb>Cohomology(K,n):: PureCubicalComplex, Int --> List</Verb>
<Verb>Cohomology(K,n):: PurePermComplex, Int --> List</Verb>
<Verb>Cohomology(K,n):: RegCWComplex, Int --> List</Verb>
<Verb>Cohomology(K,n):: SimplicialComplex, Int --> List</Verb><P/>
<P/> Inputs a cochain complex <M>C</M> and integer <M>n \ge 0</M> and returns
the <M>n</M>-th cohomology group of <M>C</M> as a list of its abelian invariants.
<P/> Inputs a chain map <M>F</M> and integer <M>n \ge 0</M>. It returns the
induced cohomology homomorphism <M>H_n(F)</M> as a homomorphism of finitely presented groups.
<P/> Inputs a cubical, or pure cubical, or pure permutahedral or regular CW or
simplicial
complex <M>K</M> together with an integer <M>n \ge 0</M>. It returns the
<M>n</M>-th integral cohomology group of <M>K</M> as a list of its abelian
invariants.
