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, 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.
>
you can move ~/local/sage/local/bin/qepcad
somewhere (e.g. rename it) and create the necessary link.
>
>
> 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
> <https://groups.google.com/d/msgid/sage-support/d5445e73-b84d-4fd0-86af-59e40aff9876n%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/CAAWYfq2xPo_kSMXEP8Z%3DB1Po7xo5dvwJAJR%3DBbjcQiZR%3Df_%3DaQ%40mail.gmail.com.
