[PPL-devel] ppl/tests/Polyhedron pointsetpowerset4.cc