Indeed, with #27754, I get:
configure: notice: the following SPKGs did not find equivalent system
packages: coxeter3 libsemigroups
checking for the package system in use... debian
configure: No equivalent system packages for debian are known to Sage
Maybe the last sentence should say "... that a
Anyone able to review #11736? It's a truly linear time implementation of
Lex BFS.
I spent some time on the original paper to fully understand the algorithm
(not well described) and find the issues in the original code.
Le lundi 31 août 2020 à 19:05:13 UTC+2, Matthias Koeppe a écrit :
> On Satu
On Thu, Sep 3, 2020 at 1:48 PM Sébastien Labbé wrote:
>
> ... and after running that command without libpython3.7-dev, it now suggests
> me this:
>
> $ sudo apt-get install libbrial-dev libbrial-groebner-dev libcdd-dev
> libcdd-tools libm4rie-dev python3.7 libpython3.7-dev python3-distutils
>
>
... and after running that command without libpython3.7-dev, it now
suggests me this:
$ sudo apt-get install libbrial-dev libbrial-groebner-dev libcdd-dev
libcdd-tools libm4rie-dev python3.7 libpython3.7-dev python3-distutils
but when I run it (without libpython3.7-dev), it says I already have
Always great to hear from you, Jason!
> 2. Karl-Dieter, to answer your question about notebooks: we've worked
> really hard to make the transition from "classic Notebook" to JupyterLab
> smooth, so yes, it not only opens notebook files, but we also went to great
> lengths to have feature p
On Ubuntu 20.04, the configure script suggests me this:
configure: hint: installing the following system packages is recommended
and may avoid building some of the above SPKGs from source:
configure: $ sudo apt-get update
$ sudo apt-get install libflint-arb-dev libbrial-dev
libbrial-groebne
2020-08-03 03:07 UTC, Jason Grout:
>
> Hi everyone,
>
> First, it's really great to post here again :). Sorry I didn't see this
> thread earlier,
> but thanks to the recent activity it surfaced again in my inbox. I really love
> seeing the discussion here! Feel free to reach out to ping me or othe
