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


gap> List([0..6],B!.dimension);
[ 1, 7, 49, 343, 2401, 16807, 117649 ]
gap> List([0..6],C!.dimension);
[ 1, 2, 2, 1, 2, 4, 102945 ]
