Opened 4 years ago

Closed 3 months ago

Last modified 2 months ago

#11517 closed enhancement (fixed)

make LiDIA an experimental or optional package

Reported by: zaf Owned by: tbd
Priority: minor Milestone: sage-6.7
Component: packages: experimental Keywords: sd31
Cc: burcin, dimpase Merged in:
Authors: Matthias Köppe Reviewers: Dima Pasechnik
Report Upstream: N/A Work issues:
Branch: 4195a60 (Commits) Commit:
Dependencies: Stopgaps:

Description (last modified by dimpase)

From the official webpage:

"The LiDIA project is now officially dormant."
The latest version is 2.3.0.

http://www.cdc.informatik.tu-darmstadt.de/TI/LiDIA/#introduction
(Update 2015: Link no longer works. No remaining traces of LiDIA at TU Darmstadt.)

This is an spkg for LiDIA-2.3.0.
http://www.zafeirakopoulos.info/sage/lidia-2.3.0.spkg
(Update 2015: Link no longer works.)

Update: Attached git branch adds a new-style lidia spkg.
It is using as upstream a release of LiDIA made by the LattE project. The tarball is here:
https://www.math.ucdavis.edu/~latte/software/packages/lidia/current/lidia-2.3.0+latte-patches-2014-10-04.tar.gz

Change History (21)

comment:1 Changed 4 years ago by zaf

  • Keywords sd31 added

comment:2 Changed 2 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 18 months ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:4 Changed 15 months ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:5 Changed 12 months ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:6 Changed 4 months ago by mkoeppe

Upstream of LiDIA has disappeared.

However, I maintain a version of LiDIA, with minimal changes so that it compiles with current C++ compilers, for the LattE project.
(We use a tiny piece of functionality of LiDIA in LattE. It is optional, but crucial for performance of some algorithm variants.)

https://github.com/mkoeppe/LiDIA

comment:7 Changed 3 months ago by mkoeppe

  • Branch set to u/mkoeppe/make_lidia_an_experimental_package

comment:8 Changed 3 months ago by mkoeppe

  • Cc dimpase added
  • Commit set to a03462654165528d73c88dec01904d61801d7e40
  • Description modified (diff)
  • Milestone changed from sage-6.4 to sage-6.7
  • Status changed from new to needs_review
  • Summary changed from make LiDIA an experimental package to make LiDIA an experimental or optional package

New commits:

c48705cAdd lidia spkg
a034626Allow latte_int package to find the lidia package if it is installed

comment:9 Changed 3 months ago by dimpase

  • Description modified (diff)

comment:10 follow-up: Changed 3 months ago by dimpase

How does one check that lattE knows about lidia? Does an executable link against it? I only see

config.status: creating code/lidia-include.h

in latteE log if I grep it for lidia.

comment:11 in reply to: ↑ 10 ; follow-ups: Changed 3 months ago by mkoeppe

Replying to dimpase:

How does one check that lattE knows about lidia? Does an executable link against it? I only see

config.status: creating code/lidia-include.h

in latteE log if I grep it for lidia.

Better grep -i for it. You should be seeing "checking for LIDIA >= 2.1... found" in LattE's configure output. Then LiDIA support will be compiled in.

To double-check after installation, invoke "count" with the command-line option "--smith-form=lidia". (This is the default when LiDIA is installed, but this option will signal an error if LiDIA is not installed.)

An example:

count --smith-form=lidia --irr --exp --maxdet=1000 $SAGE_ROOT/local/share/latte-int/examples/hickerson/hickerson-16

Also, you can check that "count" links dynamically to libLiDIA. (It does here on Mac OS X; I have not checked other platforms.)

comment:12 in reply to: ↑ 11 ; follow-up: Changed 3 months ago by dimpase

Replying to mkoeppe:

Replying to dimpase:

How does one check that lattE knows about lidia? Does an executable link against it? I only see

config.status: creating code/lidia-include.h

in latteE log if I grep it for lidia.

Better grep -i for it. You should be seeing "checking for LIDIA >= 2.1... found" in LattE's configure output. Then LiDIA support will be compiled in.

no, on Linux it says "not found", even though LiDIA installs OK. I see

$ ls -l local/lib/*LiDI*
-rwxr-xr-x 1 dimpase staff     1046 May  4 09:33 local/lib/libLiDIA.la
lrwxrwxrwx 1 dimpase staff       17 May  4 09:26 local/lib/libLiDIA.so -> libLiDIA.so.0.0.0
lrwxrwxrwx 1 dimpase staff       17 May  4 09:26 local/lib/libLiDIA.so.0 -> libLiDIA.so.0.0.0
-rwxr-xr-x 1 dimpase staff 14565939 May  4 09:26 local/lib/libLiDIA.so.0.0.0

and a lot of stuff in SAGELOCAL/include/lidia/ as well.

comment:13 in reply to: ↑ 11 Changed 3 months ago by dimpase

Last edited 3 months ago by dimpase (previous) (diff)

comment:14 in reply to: ↑ 12 Changed 3 months ago by mkoeppe

Replying to dimpase:

Replying to mkoeppe:

Replying to dimpase:

How does one check that lattE knows about lidia? Does an executable link against it? I only see

config.status: creating code/lidia-include.h

in latteE log if I grep it for lidia.

Better grep -i for it. You should be seeing "checking for LIDIA >= 2.1... found" in LattE's configure output. Then LiDIA support will be compiled in.

no, on Linux it says "not found", even though LiDIA installs OK. I see

$ ls -l local/lib/*LiDI*
-rwxr-xr-x 1 dimpase staff     1046 May  4 09:33 local/lib/libLiDIA.la
lrwxrwxrwx 1 dimpase staff       17 May  4 09:26 local/lib/libLiDIA.so -> libLiDIA.so.0.0.0
lrwxrwxrwx 1 dimpase staff       17 May  4 09:26 local/lib/libLiDIA.so.0 -> libLiDIA.so.0.0.0
-rwxr-xr-x 1 dimpase staff 14565939 May  4 09:26 local/lib/libLiDIA.so.0.0.0

and a lot of stuff in SAGELOCAL/include/lidia/ as well.

Ah, OK, it seems I need to install a fix for case-sensitive file systems that I need in the LattE-for-tea-too distribution scripts as well.
I will look into this later today.

comment:15 follow-up: Changed 3 months ago by git

  • Commit changed from a03462654165528d73c88dec01904d61801d7e40 to 4195a6086059cff005ee19faaa2e03513ea297c3

Branch pushed to git repo; I updated commit sha1. New commits:

4195a60Install symbolic link if necessary to fix lidia/LiDIA confusion

comment:16 in reply to: ↑ 15 ; follow-up: Changed 3 months ago by dimpase

  • Status changed from needs_review to positive_review

Replying to git:

Branch pushed to git repo; I updated commit sha1. New commits:

4195a60Install symbolic link if necessary to fix lidia/LiDIA confusion

OK, this works on Linux. By the way, is the answer 54 for hickerson-16 correct? (eventually these things should in Latte doctests.)

comment:17 Changed 3 months ago by dimpase

  • Reviewers set to Dima Pasechnik, Matthias Koeppe

comment:18 in reply to: ↑ 16 Changed 3 months ago by mkoeppe

Replying to dimpase:

Replying to git:

Branch pushed to git repo; I updated commit sha1. New commits:

4195a60Install symbolic link if necessary to fix lidia/LiDIA confusion

OK, this works on Linux. By the way, is the answer 54 for hickerson-16 correct? (eventually these things should in Latte doctests.)

LattE has its own tests in code/test-suite/test.pl.in; there we list 54 as the correct answer. I don't remember if there is a second source for this answer.

By the way, best to run both "make check" and "make installcheck"; the latter checks the binaries of latte installed by "make install".

Also, I guess I should be "Author" rather than "Reviewer"?

comment:19 Changed 3 months ago by dimpase

  • Authors changed from Zafeirakis Zafeirakopoulos to Matthias Koeppe
  • Reviewers changed from Dima Pasechnik, Matthias Koeppe to Dima Pasechnik

comment:20 Changed 3 months ago by vbraun

  • Branch changed from u/mkoeppe/make_lidia_an_experimental_package to 4195a6086059cff005ee19faaa2e03513ea297c3
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:21 Changed 2 months ago by kcrisman

  • Authors changed from Matthias Koeppe to Matthias Köppe
  • Commit 4195a6086059cff005ee19faaa2e03513ea297c3 deleted
Note: See TracTickets for help on using tickets.