Re: [sage-support] Bug in qepcad?

2022-07-11 Thread 'Peter Mueller' via sage-support
OK, calling "sage -sh" and setting "export qe="~/local/sage/local" allows to start qepcad without relocating files. However, qepcad fails for this rather small example , telling "Failure occurred in:GCSI (final check) Reason for the failure: Too few cells reclaimed." So either (i) qepcad has

[sage-support] Availability of sage 9.6 through conda/mamba?

2022-07-11 Thread Joseph Nasser
Hello, I am trying to install version 9.6 through conda as discussed here: https://doc.sagemath.org/html/en/installation/conda.html It seems that following the commands on the above page actually installs Sage 9.5. Indeed I can't find version 9.6 on conda forge (https://anaconda.org/conda-forg

Re: [sage-support] Bug in qepcad?

2022-07-11 Thread Dima Pasechnik
On Mon, 11 Jul 2022, 17:04 'Peter Mueller' via sage-support, < sage-support@googlegroups.com> wrote: > Thanks for the suggestion, I wasn't aware of this feature. However, here > it results in "Error HELPFRD: Could not open > ~/local/sage/local/bin/qepcad/share/qepcad/qepcad.help". Unfortunately, t

Re: [sage-support] Bug in qepcad?

2022-07-11 Thread 'Peter Mueller' via sage-support
Thanks for the suggestion, I wasn't aware of this feature. However, here it results in "Error HELPFRD: Could not open ~/local/sage/local/bin/qepcad/share/qepcad/qepcad.help". Unfortunately, the binary of qepcad is the file ~/local/sage/local/bin/qepcad, so I cannot symlink the existing help pag

Re: [sage-support] Bug in qepcad?

2022-07-11 Thread Dima Pasechnik
On Mon, 11 Jul 2022, 16:33 'Peter Mueller' via sage-support, < sage-support@googlegroups.com> wrote: > When running > > var('p1', 'p2', 'p3', 'q1', 'q2', 'q3') > qf = qepcad_formula > # q1 = p1 > l = [p1+q1 == 1, 0 < p1, p1 < 1, > 0 <= p2, p2 <= 1, 0 <= q2, q2 <= 1, > p2 + p1*q1 + q2 ==

[sage-support] Bug in qepcad?

2022-07-11 Thread 'Peter Mueller' via sage-support
When running var('p1', 'p2', 'p3', 'q1', 'q2', 'q3') qf = qepcad_formula # q1 = p1 l = [p1+q1 == 1, 0 < p1, p1 < 1, 0 <= p2, p2 <= 1, 0 <= q2, q2 <= 1, p2 + p1*q1 + q2 == 1, 0 <= p3, p3 <= 1, 0 <= q3, q3 <= 1, p3 + p2*q1 + p1*q2 + q3 == 1] F = qepcad_formula.and_(l) qepcad(F, s