Opened 4 years ago

Last modified 3 years ago

#23547 closed enhancement

Add isl and barvinok packages — at Version 6

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

Status badges

Description (last modified by vdelecroix)

We package Sven Verdoolaege's `barvinok` package (for lattice points in polytopes etc). It has dependency `isl` and `polylib.`.

Source codes at

Tarballs at

[pet]( is an optional dependency of barvinok and might be treated later on.

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 (last update 4 years ago...)

More resources at

Change History (6)

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)

comment:5 Changed 4 years ago by vdelecroix

  • Description modified (diff)

comment:6 Changed 3 years ago by vdelecroix

  • Authors set to Vincent Delecroix
  • Component changed from packages: experimental to packages: optional
  • Description modified (diff)
  • Milestone changed from sage-8.1 to sage-8.5
Note: See TracTickets for help on using tickets.