
gap> K:=ContractibleGcomplex("SL(4,Z)");;
gap> V:=DualComplex(K);;
gap> D:=TensorWithRationals(V);;
gap> List([0..6],i->Homology(D,i));
[ 0, 0, 0, 1, 0, 0, 1 ]
