Skip to main content

Bindings to the parma polyhedra library, allowing to use double description from Python

Project description

These are Python bindings to the Parma Polyhedra Library. They were extracted from the sagemath project, in order to be used in non-sage projects. This is GPL-licensed, as is Sagemath.

To build it you need to have both the ppl and gmp libraries installed in a place where distutils can find it. Then,

python setup.py build && python setup.py install

If you have trouble, try adding the desired paths to library_dirs in setup.py as a keyword argument to the Extension constructor.

To use it, simply import the module, create a matrix of Fractions or integers, and compute the double description !

from pyparma import Polyhedron
import numpy as np
from fractions import Fraction

fractionize = np.vectorize(lambda x: Fraction(str(x)))
A = fractionize(np.random.rand(50,3))
poly = Polyhedron(hrep=A)
print poly.hrep()

Both H-representation and V-representation follow the CDD format i.e.:

  • H_rep = [b | A] where the polyhedron is defined by b + A x >= 0

  • V_rep = [t | V] where V are the stacked vertices (Horizontal vectors) and t is the type: 1 for points, 0 for rays/lines.

To run the tests, simply run:

nosetests

From the top-level directory. To run the tests, you need to have the CDD library installed. I assume that you installed the version that comes with the pycddlib bindings.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyparma-0.5.0.tar.gz (189.9 kB view details)

Uploaded Source

File details

Details for the file pyparma-0.5.0.tar.gz.

File metadata

  • Download URL: pyparma-0.5.0.tar.gz
  • Upload date:
  • Size: 189.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for pyparma-0.5.0.tar.gz
Algorithm Hash digest
SHA256 706b1ade797ae6c109d843bda8a2061940e0018639883af27013d574d8a64cc2
MD5 3c8f8cdd42913642a321767381ed1ab6
BLAKE2b-256 fd805e23edfe9031dd8279e053ee3adfe03a5146df5f4407efb072ffee125843

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page