[PPL-devel] ppl/src Polyhedron_chdims.cc