Compute the H-representation of the projection of a polyhedron in H-representation.