[PPL-devel] ppl/tests polyhull11.cc