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 page
(at ~/local/sage/local/share/qepcad/qepcad.help) to the place where qepcad
is looking for it.
dim...@gmail.com schrieb am Montag, 11. Juli 2022 um 17:40:11 UTC+2:
>
>
> On Mon, 11 Jul 2022, 16:33 'Peter Mueller' via sage-support, <
> sage-s...@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 == 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.
>>
>
> you can try running qepcad standalone, at
> ./sage -sh
> prompt, and try reproducing...
>
>
> https://www.usna.edu/CS/qepcadweb/B/QEPCAD.html
>
>>
>> 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...@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
>>
>> <https://groups.google.com/d/msgid/sage-support/826d7ed3-969c-4604-b703-bb0215a2ede5n%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>
--
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/d5445e73-b84d-4fd0-86af-59e40aff9876n%40googlegroups.com.
