Ask Your Question

Revision history [back]

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.

click to hide/show revision 2
retagged

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.