Opened 4 years ago

Last modified 2 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](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on.

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

More resources at http://polycomp.gforge.inria.fr/

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://repo.or.cz/barvinok.git
$ cd barvinok
$ sage -sh
(sage-sh) $ ./get_submodules.sh
(sage-sh) $ sh autogen.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 2 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.