Some ways to reduce the space dimension in polyhedra computations