Add isl and barvinok packages

[mkoeppe]

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:

• ​http://polycomp.gforge.inria.fr/

Sources:

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

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