ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sun, 19 Apr 2015 14:04:15 -0500Similar command to Mathematica's Reduce[]?http://ask.sagemath.org/question/26600/similar-command-to-mathematicas-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? Iosif PinelisSun, 19 Apr 2015 14:04:15 -0500http://ask.sagemath.org/question/26600/