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
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
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
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
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 ==
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