# 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!