
gap> K:=ContractibleGcomplex("SL(3,Z)a");;
gap> Y:=GComplexToFiniteRegularCWRegion(K,6);;
gap> Size(Y); #number of cells in Y
15328275
gap> Y!.nrCells(3); #number of 3-cells in Y
792577
gap> CriticalCells(Y);
[ [ 0, 3116128 ] ]
