semialgebraic systems in Sage

asked 2013-09-20 01:06:43 -0600

fbtn gravatar image

updated 2017-01-05 15:15:39 -0600

FrédéricC gravatar image

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.

edit retag flag offensive close merge delete

Comments

Solved! Thanks to J. Grout and the sagecell team. Currently one can use QEPCAD through sagecell.sagemath.org.

fbtn gravatar imagefbtn ( 2013-10-13 01:34:47 -0600 )edit