search

flatsurf / sage-flatsurf

Flat surfaces in Sage
https://flatsurf.github.io/sage-flatsurf/
GNU General Public License v2.0
10 stars 10 forks source link

Create (self-contained) flatsurf installer #248

Open saraedum opened 10 months ago

saraedum commented 10 months ago

Checklist

Dependencies
saraedum commented 10 months ago

Thierry reported that this fails:

from pyexactreal import ExactReals
R = ExactReals(P.base_ring())
almost_one = R.random_element(1)
print(f"{almost_one = }")

from flatsurf import similarity_surfaces, Polygon
Q = Polygon(angles=(3, 4, 13), vertices=[(0, 0), (almost_one, 0)])
S = similarity_surfaces.billiard(Q).minimal_cover(cover_type="translation")

fails with

In file included from input_line_10:9:
In file included from ./etc/dictpch/allHeaders.h:134:
/home/flatsurf/flatsurf-0.5.2/bin/../lib/gcc/../../x86_64-conda-linux-gnu/include/c++/12.3.0/forward_list:40:10:
fatal error: 'bits/forward_list.tcc' file not found
#include <bits/forward_list.tcc>
saraedum commented 10 months ago

I've seen this myself before sometimes. A workaround is to set LD_LIBRARY_PATH to conda's lib/.

I don't understand why this happens. But I am trying to build a reproducer on a clean Debian.

It works fine on a vanilla Debian. It's probably some other package interfering.

github-actions[bot] commented 10 months ago

Documentation preview for this PR is ready! :tada: Built with commit: ff22a8cf9a0ba4bc61a7baf373591ad7485b6995

saraedum commented 5 months ago

We should probably change the unpacking to not actually unpack the conda-pack of sagelib but just a conda-pack of mamba and then install locked and tested sagelib and sage-flatsurf from conda-forge. So, you need internet connectivity to install sage-flatsurf but like that the installer is small and does not exceed our limits here on GitHub.