Opened 4 years ago

Last modified 3 years ago

#23547 closed enhancement

Add isl and barvinok packages — at Version 4

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 (last modified by vdelecroix)

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

Python bindings to isl are available:

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



Change History (4)

comment:1 in reply to: ↑ description Changed 4 years ago by jdemeyer

Replying to mkoeppe:

It will bring its own copy of isl.

I don't think this is acceptable.

comment:2 Changed 4 years ago by vdelecroix

  • Cc vdelecroix added

comment:3 Changed 4 years ago by vdelecroix

I succeeded installing the barvinok program in my Sage installation doing

$ git clone git://
$ cd barvinok
$ sage -sh
(sage-sh) $ ./
(sage-sh) $ sh
(sage-sh) $ ./configure NTL_GMP_LIP=on --prefix=$SAGE_LOCAL --with-gmp-prefix=$SAGE_LOCAL --with-ntl-prefix=$SAGE_LOCAL
(sage-sh) $ make
(sage-sh) $ make install

I think that for cleaner packaging all submodules (isl, pet, polylib) should actually be independent packages.

comment:4 Changed 4 years ago by vdelecroix

  • Description modified (diff)
Note: See TracTickets for help on using tickets.