
gap> K:=ContractibleGcomplex("SL(3,Z)a");;
gap> List([0..4],K!.dimension);
[ 1, 1, 2, 1, 0 ]
gap> Y:=GComplexToFiniteRegularCWRegion(K,0);;
gap> Display(GraphOfRegularCWComplex(Y));
