In this paper, we propose a new method to give a minimal
representation of a polyhedron and its projections. This method does
not require the polyhedron to be full-dimensional, pointed or non-empty. It can
detect the implicit equations of a polyhedron, if there was, and remove all the redundant
inequalities in the representation of this polyhedron and its
projections. Moreover, it can detect the emptiness of a polyhedron.