Simplifying inequalities

*To*: mathgroup at smc.vnet.net*Subject*: [mg36790] Simplifying inequalities*From*: Vincent Bouchard <bouchard at maths.ox.ac.uk>*Date*: Wed, 25 Sep 2002 01:51:39 -0400 (EDT)*Sender*: owner-wri-mathgroup at wolfram.com

I have a set of inequalities that I solve with InequalitySolve. But then it gives a complete set of solutions, but not in the way I would like it to be! :-) For example, the simple following calculation will give: In[1]:= ineq = {y4 >= -1, y5 >= -1, y6 + y4 >= y5 - 1, y5 >= y6, y6 >= -1}; InequalitySolve[ineq,{y4,y6,y5}] Out[1]:= y4 == -1 && y6 >= -1 && y5 == y6 || y4 > -1 && y6 >= -1 && y6 <= y5 <= 1 + y4 + y6 the result is good, but I would like it to be in the simpler but equivalent form y4 >= -1 && y6 >= -1 && y6 <= y5 <= 1 + y4 + y6 How can I tell InequalitySolve to do that? It is simple for this example, but for a large set of simple inequalities InequalitySolve gives lines and lines of results instead of a simple result. Thanks, Vincent Bouchard DPHil student in theoretical physics in University of Oxford