<Verb>GroupCohomology(G,k):: Group, Int --> List</Verb>
<Verb>GroupCohomology(G,k,p):: Group, Int, Int --> List</Verb><P/>

<P/> Inputs a group <M>G</M> and integer <M>k \ge 0</M>. The group <M>G</M> should either be finite or else lie in one of a range of classes of infinite groups (such as nilpotent, crystallographic, Artin etc.). The function returns the list of abelian invariants of <M>H^k(G,\mathbb Z)</M>.

<P/> If a prime <M>p</M> is given as an optional third input variable then the 
function returns the list
of abelian invariants of <M>H^k(G,\mathbb Z_p)</M>. In this case each abelian invariant will be equal to <M>p</M> and the length of the list will be the dimension of
the vector space <M>H^k(G,\mathbb Z_p)</M>.


