A New Encoding of Not Necessarily Closed Convex Polyhedra