Changes between Version 6 and Version 8 of Ticket #23547
- Timestamp:
- 11/13/18 21:48:42 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #23547
-
Property
Branch
changed from
to
u/vdelecroix/23547
-
Property
Commit
changed from
to
82f0f8afd659ef271059f28242ac69c5b41e37fd
-
Property
Branch
changed from
-
Ticket #23547 – Description
v6 v8 1 We package Sven Verdoolaege's [http://barvinok.gforge.inria.fr/ `barvinok`] package (for lattice points in polytopes etc). It has dependency [http://isl.gforge.inria.fr/ `isl`] and [http://icps.u-strasbg.fr/polylib/ `polylib.`].1 We package Sven Verdoolaege's [http://barvinok.gforge.inria.fr/ barvinok] package (for lattice points in polytopes etc). It has dependency [http://isl.gforge.inria.fr/ isl] and [http://icps.u-strasbg.fr/polylib/ polylib.]. 2 2 3 3 Source codes at … … 15 15 -------------------- 16 16 17 [pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on. 17 Remarks 18 18 19 Python bindings to `isl` are available: 19 - [pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on. 20 20 21 https://pypi.python.org/pypi/islpy 22 23 It can be installed into sage using pip. It will bring its own copy of `isl`. [https://documen.tician.de/islpy/index.html Documentation] 24 25 The `islpy` package also claims to provide bindings for `barvinok` (haven't tested). To enable: 21 - [https://pypi.python.org/pypi/islpy islpy] provides Python bindings to `isl` and can be installed using pip. Though it will bring its own copy of `isl`... [https://documen.tician.de/islpy/index.html Documentation]. The `islpy` package also claims to provide bindings for `barvinok` (haven't tested). To enable: 26 22 {{{ 27 23 ./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 28 24 }}} 29 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.") 30 31 Related Python library: [https://github.com/tobig/islplot islplot] (last update 4 years ago...) 32 33 More resources at http://polycomp.gforge.inria.fr/ 25 - Related Python library: [https://github.com/tobig/islplot islplot] (last update 4 years ago...) 26 - More resources at http://polycomp.gforge.inria.fr/