Opened 4 years ago

Last modified 2 years ago

#23547 closed enhancement

Add isl and barvinok packages — at Version 5

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:

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

Resources:

Links for dependencies:

Change History (5)

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)
Note: See TracTickets for help on using tickets.