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: |
Description (last modified by )
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/
Change History (6)
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)
comment:5 Changed 4 years ago by
- Description modified (diff)
comment:6 Changed 2 years ago by
- Component changed from packages: experimental to packages: optional
- Description modified (diff)
- Milestone changed from sage-8.1 to sage-8.5
Replying to mkoeppe:
I don't think this is acceptable.