Re: [PPL-devel] PPL and the union of convex polyhedra