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, solution='any-point')
I get the wrong answer
ValueError: input formula is false everywhere
However, this set of inequalities has solutions. In fact, if there were no
solution, this should hold even more if we remove the comment in
# q1 = p1
above. However, doing that produces a correct solution
{'p1': 1/2, 'p2': 0, 'p3': 0, 'q2': 3/4, 'q3': 5/8}.
Am I doing something wrong? If it is a bug, then I don't know if comes from
the interface to qepcad, or qepcad itself.
I've tried the above example in Sage versions 9.6 and 9.7.beta3 on a linux
machine.
-- Peter Mueller
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/826d7ed3-969c-4604-b703-bb0215a2ede5n%40googlegroups.com.
