gap> G:=SymmetricGroup(3);;
gap> R:=ResolutionFiniteGroup(G,4);;
gap> TR:=TensorWithIntegers(R);;
gap> Homology(TR,3);
[ 6 ]
gap> R!.dimension(3);
4
gap> R!.dimension(4);
5
