Opened 4 years ago

Last modified 2 years ago

#23547 closed enhancement

Add isl and barvinok packages — at Version 8

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: u/vdelecroix/23547 (Commits, GitHub, GitLab) Commit: 82f0f8afd659ef271059f28242ac69c5b41e37fd
Dependencies: Stopgaps:

Status badges

Description (last modified by vdelecroix)

We package Sven Verdoolaege's barvinok package (for lattice points in polytopes etc). It has dependency isl and polylib..

Source codes at

Tarballs at


Remarks

  • islpy provides Python bindings to isl and can be installed using pip. Though 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
    
  • Related Python library: islplot (last update 4 years ago...)
  • More resources at http://polycomp.gforge.inria.fr/

Change History (8)

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)

comment:6 Changed 2 years ago by vdelecroix

  • Authors set to Vincent Delecroix
  • Component changed from packages: experimental to packages: optional
  • Description modified (diff)
  • Milestone changed from sage-8.1 to sage-8.5

comment:7 Changed 2 years ago by vdelecroix

  • Branch set to u/vdelecroix/23547
  • Commit set to 82f0f8afd659ef271059f28242ac69c5b41e37fd

With the current branch at 82f0f8afd6 I do obtain compilation errors. I might have done something wrong. Problem discussed on isl-development mailing list.


New commits:

82f0f8a23547: package isl+polylib+barvinok
Last edited 2 years ago by vdelecroix (previous) (diff)

comment:8 Changed 2 years ago by vdelecroix

  • Description modified (diff)
Note: See TracTickets for help on using tickets.