#15180 closed enhancement (fixed)
create experimental package LattE Integrale
Reported by: | dimpase | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-6.1 |
Component: | packages: experimental | Keywords: | LattE, integer polytopes |
Cc: | novoselt, vbraun, nthiery, tscrim, schilly | Merged in: | |
Authors: | Dmitrii Pasechnik | Reviewers: | Volker Braun |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #15172 | Stopgaps: |
Description
LattE (Lattice point Enumeration) Integrale is a suite of C/C++ programs that solves the problems of counting lattice points in and integration over convex polytopes, implementing e.g. Barvinok's algorithm for counting.
To integrate it into Sage properly, an interface needs to be created, but the first step is to make the source code installable, as executables/headers etc.
This is done in this spkg.
It has spkg-check
script, which can be used to check the installation.
Change History (13)
comment:1 Changed 7 years ago by
- Status changed from new to needs_review
comment:2 Changed 7 years ago by
comment:3 Changed 7 years ago by
- Cc nthiery added
comment:4 Changed 7 years ago by
- Cc tscrim added
comment:5 Changed 6 years ago by
- Cc schilly added
- Status changed from needs_review to positive_review
Looks good to me...
Harald: please add to experimental...
comment:6 Changed 6 years ago by
done.
comment:7 Changed 6 years ago by
- Resolution set to fixed
- Reviewers set to Volker Braun
- Status changed from positive_review to closed
comment:8 Changed 6 years ago by
Cool! Been dreaming of LattE in Sage for a while :-) Are the LattE devs aware of the progress?
comment:9 Changed 6 years ago by
I just did.
comment:10 follow-ups: ↓ 11 ↓ 13 Changed 6 years ago by
Hi!
At Sage Days 60, a user asked me about the status of LattE integration. So I tried installing the LattE package. I first checked I had all the dependencies mentioned in the SPKG.txt (GMP (MPIR), 4ti2, NTL, cddlib):
sage -i Currently installed packages: ... 4ti2-1.6.2 mpir-2.6.0.p4 ntl-6.1.0.p0 cddlib-094g.p0 ...
The compilation failed complaining about a missing GMP dependency:
sage -i latte_int ... checking for GMP >= 3.1.1... configure: error: GMP not found! GMP version 3.1.1 or greater is required for LattE to compile. Please make sure GMP is installed and specify its location with the option --with-gmp=<prefix> when running configure.
Suggestions? Should I open a new ticket?
For the record, out of curiosity, I tried
mistral-~>sage -i gmp Found local metadata for gmp-5.1.3 Attempting to download package gmp-5.1.3 >>> Trying to download http://www.sagemath.org/packages/upstream/gmp/gmp-5.1.3.tar.bz2 [Traceback (most recent call last): File "<stdin>", line 35, in <module> File "/opt/sage-git/local/lib/python/urllib.py", line 240, in retrieve fp = self.open(url, data) File "/opt/sage-git/local/lib/python/urllib.py", line 208, in open return getattr(self, name)(url) File "/opt/sage-git/local/lib/python/urllib.py", line 359, in open_http return self.http_error(url, fp, errcode, errmsg, headers) File "/opt/sage-git/local/lib/python/urllib.py", line 376, in http_error return self.http_error_default(url, fp, errcode, errmsg, headers) File "<stdin>", line 17, in http_error_default IOError: [Errno 404] Not Found: '//www.sagemath.org/packages/upstream/gmp/gmp-5.1.3.tar.bz2' Error: failed to download package gmp-5.1.3
but this is probably just outdated stuff since gmp is listed in none of the package lists (std/opt/exp).
Thanks!
Nicolas
comment:11 in reply to: ↑ 10 Changed 6 years ago by
Replying to nthiery:
Hi!
At Sage Days 60, a user asked me about the status of LattE integration. So I tried installing the LattE package. I first checked I had all the dependencies mentioned in the SPKG.txt (GMP (MPIR), 4ti2, NTL, cddlib):
sage -i Currently installed packages: ... 4ti2-1.6.2 mpir-2.6.0.p4 ntl-6.1.0.p0 cddlib-094g.p0 ...The compilation failed complaining about a missing GMP dependency:
It works for me on Sage 6.4.beta0. Probably your Sage install is slightly nuked...
comment:12 Changed 6 years ago by
for the record, this is how results of the installation are linked on a Debian stable system (never mind 6.3.beta7 part in paths, I just didn't rename it...)
dima@nash:~/sage/sage-6.3.beta7/local/bin$ ldd latte-maximize linux-vdso.so.1 => (0x00007fffddbff000) liblatte.so.0 => /home/dima/sage/sage-6.3.beta7/local/lib/liblatte.so.0 (0x00007fe613d58000) libntl.so.3 => /home/dima/sage/sage-6.3.beta7/local/lib/libntl.so.3 (0x00007fe61399a000) libgf2x.so.1 => /home/dima/sage/sage-6.3.beta7/local/lib/libgf2x.so.1 (0x00007fe613782000) libcddgmp.so.0 => /home/dima/sage/sage-6.3.beta7/local/lib/libcddgmp.so.0 (0x00007fe613542000) libgmpxx.so.4 => /home/dima/sage/sage-6.3.beta7/local/lib/libgmpxx.so.4 (0x00007fe61333d000) libstdc++.so.6 => /home/dima/sage/sage-6.3.beta7/local/lib/../lib64/libstdc++.so.6 (0x00007fe613010000) libgmp.so.11 => /home/dima/sage/sage-6.3.beta7/local/lib/libgmp.so.11 (0x00007fe612da2000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fe612b14000) libgcc_s.so.1 => /home/dima/sage/sage-6.3.beta7/local/lib/../lib64/libgcc_s.so.1 (0x00007fe6128fe000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fe612573000) /lib64/ld-linux-x86-64.so.2 (0x00007fe6153b4000) dima@nash:~/sage/sage-6.3.beta7/local/lib$ ldd liblatte.so linux-vdso.so.1 => (0x00007fffd39ff000) libntl.so.3 => /home/dima/sage/sage-6.3.beta7/local/lib/libntl.so.3 (0x00007f5048fc6000) libgf2x.so.1 => /home/dima/sage/sage-6.3.beta7/local/lib/libgf2x.so.1 (0x00007f5048daf000) libcddgmp.so.0 => /home/dima/sage/sage-6.3.beta7/local/lib/libcddgmp.so.0 (0x00007f5048b6e000) libgmpxx.so.4 => /home/dima/sage/sage-6.3.beta7/local/lib/libgmpxx.so.4 (0x00007f5048969000) libgmp.so.11 => /home/dima/sage/sage-6.3.beta7/local/lib/libgmp.so.11 (0x00007f50486fb000) libstdc++.so.6 => /home/dima/sage/sage-6.3.beta7/local/lib/../lib64/libstdc++.so.6 (0x00007f50483ce000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f5048140000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f5047db5000) libgcc_s.so.1 => /home/dima/sage/sage-6.3.beta7/local/lib/../lib64/libgcc_s.so.1 (0x00007f5047b9f000) /lib64/ld-linux-x86-64.so.2 (0x00007f504a9e0000)
comment:13 in reply to: ↑ 10 Changed 6 years ago by
Replying to nthiery:
Hi!
At Sage Days 60, a user asked me about the status of LattE integration. So I tried installing the LattE package. I first checked I had all the dependencies mentioned in the SPKG.txt (GMP (MPIR), 4ti2, NTL, cddlib):
sage -i Currently installed packages: ... 4ti2-1.6.2 mpir-2.6.0.p4 ntl-6.1.0.p0 cddlib-094g.p0 ...The compilation failed complaining about a missing GMP dependency:
sage -i latte_int ... checking for GMP >= 3.1.1... configure: error: GMP not found! GMP version 3.1.1 or greater is required for LattE to compile. Please make sure GMP is installed and specify its location with the option --with-gmp=<prefix> when running configure.Suggestions? Should I open a new ticket?
OK, this is indeed a (trivial) bug, see #17136
(cc me)