Changes between Version 6 and Version 8 of Ticket #23547


Ignore:
Timestamp:
11/13/18 21:48:42 (2 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23547

    • Property Branch changed from to u/vdelecroix/23547
    • Property Commit changed from to 82f0f8afd659ef271059f28242ac69c5b41e37fd
  • 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.`].
     1We 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.].
    22
    33Source codes at
     
    1515--------------------
    1616
    17 [pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on.
     17Remarks
    1818
    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.
    2020
    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:
    2622{{{
    2723./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
    2824}}}
    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/