ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sun, 13 Oct 2013 08:34:47 +0200semialgebraic systems in Sagehttps://ask.sagemath.org/question/10552/semialgebraic-systems-in-sage/I would like to solve systems such as
solve([x^3-y^2 == 0, x<0, x^2+y^2<1], x, y)
I get
[[x < 0, -x^2 - y^2 + 1 > 0, -x^3 + y^2 == 0]]
i.e., the same thing.
W|A, for instance, says that "no solutions exist". Also Maple can easily deal with the system. Is there any package I'm missing? Are these systems manageable with Sage (or an embedded software)?
Thank you.
Fri, 20 Sep 2013 08:06:43 +0200https://ask.sagemath.org/question/10552/semialgebraic-systems-in-sage/Comment by fbtn for <p>I would like to solve systems such as</p>
<p>solve([x^3-y^2 == 0, x<0, x^2+y^2<1], x, y)</p>
<p>I get</p>
<p>[[x < 0, -x^2 - y^2 + 1 > 0, -x^3 + y^2 == 0]]</p>
<p>i.e., the same thing.</p>
<p>W|A, for instance, says that "no solutions exist". Also Maple can easily deal with the system. Is there any package I'm missing? Are these systems manageable with Sage (or an embedded software)?</p>
<p>Thank you.</p>
https://ask.sagemath.org/question/10552/semialgebraic-systems-in-sage/?comment=16935#post-id-16935Solved! Thanks to J. Grout and the sagecell team. Currently one can use QEPCAD through sagecell.sagemath.org.Sun, 13 Oct 2013 08:34:47 +0200https://ask.sagemath.org/question/10552/semialgebraic-systems-in-sage/?comment=16935#post-id-16935