gap> R:=ContractibleGcomplex("SL(2,O-3)");;
gap> IsRigid(R);
false
gap> S:=BaryCentricSubdivision(R);;
gap> IsRigid(S);
true
gap> C:=TensorWithComplexRepresentationRing(S);;
gap> Homology(C,0);
[ 2, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> Homology(C,1);
[ 0 ]
