Re: Simplify inequalities

• To: mathgroup at smc.vnet.net
• Subject: [mg35392] Re: Simplify inequalities
• Date: Wed, 10 Jul 2002 02:21:33 -0400 (EDT)
• References: <agega9\$p6i\$1@smc.vnet.net>
• Sender: owner-wri-mathgroup at wolfram.com

```"Julio Vera" <jvera at adinet.com.uy> wrote in message news:<agega9\$p6i\$1 at smc.vnet.net>...
> Hi,
>
> I cannot find the way to simplify certain inequalities. An example could be this one:
>
> 1+y==0&&x>1/2&&x+y>=0
>
> I have the additional condition that -1<=x<=1. Applying Simplify with this
> condition, I expect the solution
>
> 1+y==0&&x-1==0
>
> But the original set of inequalities remains the same.
>
> I tried Expand, FunctionExpand, LogicalExpand, and some others, with no luck.
>
> Thanks very much for any suggestion you might provide.
>
> Best regards,
>
> Julio Vera

InequalitySolve may do what you want.

In[1]:= <<Algebra`InequalitySolve`

In[2]:= InequalitySolve[1+y==0&&x>1/2&&x+y>=0 && -1<=x<=1, {x, y}]

Out[2]= x == 1 && y == -1

Best Regards,