Similar command to Mathematica's Reduce[]?

asked 2015-04-19 21:04:15 +0100

Iosif Pinelis gravatar image

updated 2015-04-20 11:40:25 +0100

slelievre gravatar image

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?

edit retag flag offensive close merge delete

Comments

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!

vdelecroix gravatar imagevdelecroix ( 2015-04-19 23:52:34 +0100 )edit
1

I just found about the optional package qepcad:

http://flask.sagenb.org/src/interface...http://mathoverflow.net/questions/159...

maybe it works for you!

pang gravatar imagepang ( 2015-10-27 10:31:05 +0100 )edit