Opened 4 years ago

Last modified 2 years ago

#23547 closed enhancement

Add isl and barvinok packages — at Initial Version

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-8.5
Component: packages: optional Keywords:
Cc: vdelecroix, mkoeppe, vinklein Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Sven Verdoolaege's `isl` and `barvinok` are excellent packages for lattice points in polytopes etc.

Python bindings to isl are available:

https://pypi.python.org/pypi/islpy

It can be installed into sage using pip. It will bring its own copy of isl. Documentation

The islpy package also claims to provide bindings for barvinok (haven't tested). To enable:

./sage -pip install --verbose --install-option --conf:'USE_BARVINOK=True' --install-option --conf:'USE_SHIPPED_ISL=False' --install-option --conf:'USE_SHIPPED_IMATH=False' islpy

To do this, we would need isl and barvinok packages (or just barvinok, as "Since release 0.30, the barvinok distribution includes the isl library.")

Related Python library: islplot

Resources:

Change History (0)

Note: See TracTickets for help on using tickets.