GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
<Verb>Cohomology(C,n):: CochainComplex, Int --> List</Verb>
2
<Verb>Cohomology(F,n):: CochainMap, Int --> GroupHomomorphism</Verb>
3
<Verb>Cohomology(K,n):: CubicalComplex, Int --> List</Verb>
4
<Verb>Cohomology(K,n):: PureCubicalComplex, Int --> List</Verb>
5
<Verb>Cohomology(K,n):: PurePermComplex, Int --> List</Verb>
6
<Verb>Cohomology(K,n):: RegCWComplex, Int --> List</Verb>
7
<Verb>Cohomology(K,n):: SimplicialComplex, Int --> List</Verb><P/>
8

9
<P/> Inputs a cochain complex <M>C</M> and integer <M>n \ge 0</M> and returns
10
the <M>n</M>-th cohomology group of <M>C</M> as a list of its abelian invariants. 
11

12
<P/> Inputs a chain map <M>F</M> and integer <M>n \ge 0</M>. It returns the 
13
induced  cohomology homomorphism <M>H_n(F)</M> as a homomorphism of finitely presented groups.
14

15
<P/> Inputs a cubical, or pure cubical, or pure permutahedral or regular CW or
16
simplicial 
17
 complex <M>K</M>  together with an integer <M>n \ge 0</M>. It returns the 
18
<M>n</M>-th integral cohomology group of <M>K</M> as a list of its abelian 
19
invariants.
20

21

22

23

24