[PPL-devel] Polyhedra/doc user_definitions.dox