[PPL-devel] ppl/tests polydifference2.cc