
gap> G:=HAPCongruenceSubgroupGamma0(3,31);;
gap> K:=ContractibleGcomplex("SL(3,Z)s");;
gap> R:=FreeGResolution(K,4);;
gap> S:=ResolutionFiniteSubgroup(R,G);;
gap> C:=TensorWithIntegers(S);;
gap> D:=ContractedComplex(C);;
gap> Homology(D,1);
[ 30 ]
gap> Homology(D,2);
[ 2, 2, 2, 2, 2, 2, 2, 2 ]
gap> Homology(D,3);
[ 6, 6, 12, 12, 0, 0, 0, 0 ]
