pplpy 0.4

Python PPL wrapper

This Python package provides a wrapper to the C++ Parma Polyhedra Library (PPL).

The whole package is essentially a copy/paste of the corresponding file from the Sage software. Though, the pplpy package does not need Sage and can be used directly from Python.

How it works

The names of objects and methods are the same as in the library:

>>> import ppl
>>> x = ppl.Variable(0)
>>> y = ppl.Variable(1)
>>> z = ppl.Variable(2)
>>> cs = ppl.Constraint_System()
>>> cs.insert(x >= 0)
>>> cs.insert(y >= 0)
>>> cs.insert(z >= 0)
>>> cs.insert(x + y + z == 1)
>>> poly = ppl.C_Polyhedron(cs)
>>> poly.minimized_generators()
Generator_System {point(1/1, 0/1, 0/1), point(0/1, 1/1, 0/1), point(0/1, 0/1, 1/1)}

Installation

The project is available at Python Package Index and can be installed with pip

$ pip install pplpy

Source

You can find the latest version of the source code on github: https://github.com/videlec/pplpy/

Requirements

• PPL libraries with headers

• Cython