Similar command to Mathematica's Reduce[]?

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

Iosif Pinelis gravatar image

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

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


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 +0200 )edit

I just found about the optional package qepcad:

maybe it works for you!

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