Revision history [back]

You can try with solve or solve_ineq, see http://doc.sagemath.org/html/en/reference/calculus/sage/symbolic/relation.html

Another possibility would be to use qepcad, see http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/qepcad.html

Tell us if it works as expected, so that we can report the bug in case of problem (which happens sometimes in such situations).