Similar command to Mathematica's Reduce[]?
Can one do in Sage things similar to what the Mathematica commands such as Reduce[] does? In particular, using Reduce[] in Mathematica, one can check whether a given real polynomial in several variables is positive on a semi-algebraic set. Can this be done in Sage?
The support of Sage for real algebraic geometry is currently very limited if not zero (as far as I know). It would be good that someone fills this hole!
I just found about the optional package qepcad:
http://flask.sagenb.org/src/interface...http://mathoverflow.net/questions/159...
maybe it works for you!