       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:= ineq = {y4 >= -1, y5 >= -1, y6 + y4 >= y5 - 1, y5 >= y6, y6 >= -1};
InequalitySolve[ineq,{y4,y6,y5}]

Out:= 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

```

• Prev by Date: Re: Could someone verify a long Pi calculation in Version 4 for me?
• Next by Date: Re: How do I pick out the expression under a radical?
• Previous by thread: Re: C code for dual processor machine
• Next by thread: Re: Simplifying inequalities