[PPL-devel] Conversion Between Integer Sets and Polyhedron