Poly multiplication module now checks for an empty polyhedron.