[PPL-devel] ppl/tests polyhull10.cc