[PPL-devel] Sage and PPL

Dear PPL-developers, I'm happy to announce that the Parma Polyhedra Library is now used in Sage-4.7.1 (www.sagemath.org) for polyhedral computations. This includes a Python/Cython interface http://www.sagemath.org/doc/reference/sage/libs/ppl.html on which Sage's polyhedral objects are based (or being transitioned to). Thank you for your hard work and quick response to bug reports! Volker Braun