Opened 7 years ago

Closed 6 years ago

Last modified 6 years ago

#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 dimpase

  • Status changed from new to needs_review

comment:2 Changed 7 years ago by ncohen

(cc me)

comment:3 Changed 7 years ago by nthiery

  • Cc nthiery added

comment:4 Changed 7 years ago by tscrim

  • Cc tscrim added

comment:5 Changed 6 years ago by vbraun

  • 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 schilly

done.

comment:7 Changed 6 years ago by vbraun

  • Authors set to Dmitrii Pasechnik
  • Resolution set to fixed
  • Reviewers set to Volker Braun
  • Status changed from positive_review to closed

comment:8 Changed 6 years ago by nthiery

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 tscrim

I just did.

comment:10 follow-ups: Changed 6 years ago by 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?

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 dimpase

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 dimpase

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 dimpase

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

Note: See TracTickets for help on using tickets.