Opened 4 years ago
Last modified 2 years ago
#23547 closed enhancement
Add isl and barvinok packages — at Version 4
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: |
Description (last modified by )
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:
Sources:
Change History (4)
comment:1 in reply to: ↑ description Changed 4 years ago by
comment:2 Changed 4 years ago by
- Cc vdelecroix added
comment:3 Changed 4 years ago by
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
- Description modified (diff)
Replying to mkoeppe:
I don't think this is acceptable.