gap> Q:=QuaternionGroup(8);;
gap> B:=BarComplexOfMonoid(Q,6);;                 
gap> C:=ContractedComplex(B);;
gap> Homology(C,5);
[ 2, 2 ]
