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

> 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
>

```

• Prev by Date: Re: Quantile function
• Next by Date: Re: cross product
• Previous by thread: Re: Simplify inequalities
• Next by thread: How do I generate drawings with a fixed scaling on paper?