Re: Simplify inequalities
- To: mathgroup at smc.vnet.net
- Subject: [mg35392] Re: Simplify inequalities
- From: adams at wolfram.com (Adam Strzebonski)
- 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,
Adam Strzebonski
Wolfram Research