
gap> K:=ContractibleGcomplex("SL(3,Z)a");;
gap> Y:=GComplexToFiniteRegularCWRegion(K,7);;
gap> Size(Y); #number of cells in Y
90537003
gap> Y!.nrCells(3); #number of 3-cells in Y
4729285
gap> CriticalCells(Y);
[ [ 0, 18456062 ] ]
