
gap> K:=ContractibleGcomplex("SL(4,Z)");;
gap> C:=HomToRationals(K);;
gap> List([0..6],i->Cohomology(C,i));
[ 1, 0, 0, 1, 0, 0, 0 ]
