Quelle  3.11.8   Sprache: unbekannt

R:=ContractibleGcomplex("SL(2,O-3)");;
Print(IsRigid(R),"\n");
S:=BaryCentricSubdivision(R);;
C:=TensorWithComplexRepresentationRing(S);;
Print(Homology(C,0),"\n");
Print(Homology(C,1),"\n");