Revision history [back]

You can use the cylindirical algebraic decomposition (CAD) method to solve a system of polynomials with inequalities. Sage has an optional package for QEPCAD. See the output of

sage: qepcad?

and try

./sage -i qepcad

from the command line to install QEPCAD. Note that the version we have (1.50) is quite old. The latest version on the web site is 1.69.