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