pplpy: Python interface to the Parma Polyhedra Library¶

Description¶

PPL Python wrapper

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

The whole package started as a fork of a tiny part of the Sage library.

We are using the compatible fork passagemath-ppl.

License¶

GPL version 3

Upstream Contact¶

• https://github.com/passagemath/passagemath-ppl

Type¶

standard

Dependencies¶

• $(MP_LIBRARY)

• $(PYTHON)

• $(PYTHON_TOOLCHAIN)

• cysignals: Interrupt and signal handling for Cython

• cython: C-Extensions for Python, an optimizing static compiler

• gmpy2: Python interface to GMP/MPIR, MPFR, and MPC

• mpc: Arithmetic of complex numbers with arbitrarily high precision and correct rounding

• mpfr: Multiple-precision floating-point computations with correct rounding

• ppl: Parma Polyhedra Library

Version Information¶

package-version.txt:

0.8.10.1

version_requirements.txt:

passagemath-ppl

See https://repology.org/project/pplpy/versions, https://repology.org/project/python:pplpy/versions

Installation commands¶

$ pip install passagemath-ppl

$ sage -i pplpy

$ sudo pacman -S python-pplpy

$ conda install pplpy

$ sudo dnf install python3-pplpy

$ sudo pkg install math/py-pplpy

$ sudo emerge dev-python/pplpy

$ sudo xbps-install python3-pplpy

If the system package is installed and if the (experimental) option --enable-system-site-packages is passed to ./configure, then ./configure will check if the system package can be used.