RE: Simplify inequalities
- To: mathgroup at smc.vnet.net
- Subject: [mg35375] RE: [mg35357] Simplify inequalities
- From: "David Park" <djmp at earthlink.net>
- Date: Wed, 10 Jul 2002 02:19:41 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
Julio,
Use the Standard Package Algebra`InequalitySolve`.
Needs["Algebra`InequalitySolve`"]
InequalitySolve[1 + y == 0 && x > 1/2 && x + y >= 0, {x, y}]
x >= 1 && y == -1
InequalitySolve[1 + y == 0 && x > 1/2 && x + y >= 0 && -1 <= x <= 1, {x, y}]
x == 1 && y == -1
David Park
djmp at earthlink.net
http://home.earthlink.net/~djmp/
> From: Julio Vera [mailto:jvera at adinet.com.uy]
To: mathgroup 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
>