CohomologyModule(C,n):: GCocomplex, Int --> GOuterGroup

Inputs a G-cocomplex C together with a non-negative integer n. It returns the cohomology H^n(C) as a G-outer group. If C was constructed from a \mathbb ZG-resolution R by homing to an abelian G-outer group A then, for each x in H:=CohomologyModule(C,n), there is a function f:=H!.representativeCocycle(x) which is a standard n-cocycle corresponding to the cohomology class x. (At present this is implemented only for n=1,2,3.)