On Fri, Oct 2, 2020 at 7:38 AM 'Martin R. Albrecht' via sage-devel
wrote:
>
> Seems like the cost of doing business, the entries of U are pretty big:
Could it be mostly the overhead of treating U as a part of input?
After all, LLL produces a sequence of (sparse?) linear transformations
applied to
On Ubuntu 20-04 after a make distclean:
-compilation ok.
-make ptestlong: all tests passed.
t.d.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsub
Le jeudi 1 octobre 2020 21:28:58 UTC+2, Frédéric Chapoton a écrit :
>
> Hello,
> it seems that "sage -i fricas" is currently not working.
> Maybe the tarball is missing on the mirrors,
> or maybe the tarball name is wrong ?
> Frédéric
>
> [fricas-1.3.6] FileNotMirroredError: tarball does not exi
you need to run
./configure --enable-download-from-upstream-url
before doing sage -i fricas
On Thu, Oct 1, 2020 at 8:29 PM Frédéric Chapoton wrote:
>
> Hello,
> it seems that "sage -i fricas" is currently not working.
> Maybe the tarball is missing on the mirrors,
> or maybe the tarball name is
Example 1.
P1=Polyhedron(backend='cdd', base_ring=RDF, vertices=[(RDF(1), -RDF(1),
RDF(0)), (RDF(1), -RDF(1), RDF(1)), (RDF(1), RDF(1), RDF(1)), (RDF(1),
RDF(1), -RDF(1)), (RDF(0), RDF(1), -RDF(1)), (RDF(1),
RDF(0.32998), -RDF(1)), (-RDF(1), RDF(1), RDF(1)), (-RDF(1),
RDF(1), -RDF(
Sage 8.9 is old, and cdd was updated in Sage since then.
Your best bet is to upgrade Sage, and most likely these bugs will go
away (e.g. this works well in Sage 9.2.beta13).
Having said that, as you most probably know,
a much more robust way to compute with polyhedra in Sage is to use
exact ration
Thanks. I was trying to avoid the long compilation time, but I went ahead
and redid the build after doing a 'make distclean' and that fixed the issue.
On Thursday, October 1, 2020 at 11:34:05 PM UTC-7 tdumont wrote:
> Yes, readline has changed since a recent upgrade of Ubuntu (20-04.
> make dist
