<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.



