Add isl and barvinok packages

[mkoeppe]

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

Source codes at

• source ​http://repo.or.cz/w/barvinok.git
• source ​http://repo.or.cz/w/isl.git
• source ​http://repo.or.cz/w/polylib.git

Tarballs at

• ​http://barvinok.gforge.inria.fr/barvinok-0.41.tar.bz2
• ​http://isl.gforge.inria.fr/isl-0.20.tar.bz2
• ​http://icps.u-strasbg.fr/polylib/polylib_src/polylib-5.22.5.tar.gz

---

[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/

[jdemeyer]

Replying to mkoeppe:

It will bring its own copy of isl.

I don't think this is acceptable.

[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.