If I have a bunch of inequalities like x>y, y>z, z != 5 (not equal),x<z+y, how="" do="" i="" get="" range="" of="" values="" of="" each="" variable="" for="" which="" all="" these="" inequalities="" are="" satisfied?="" thanks.<="" p="">
Edit: I found that this can be achieved with mathematica as mentioned in the below link:
mathematica.stackexchange.com/questions/38507/solve-the-system-of-equalities-and-inequalities
But, I want an open source solution. Is it possible with sage at all?