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?
Revision history [back]
 | 1 | initial version |
Can one do in Sage things similar to what the Mathematica commands such as Reduce[] does?
| | 2 | No.2 Revision |
Can one do in Sage things similar Similar command to what the Mathematica commands such as Reduce[] does?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?
