MathGroup Archive 2002

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Simplify inequalities

  • To: mathgroup at
  • Subject: [mg35392] Re: Simplify inequalities
  • From: adams at (Adam Strzebonski)
  • Date: Wed, 10 Jul 2002 02:21:33 -0400 (EDT)
  • References: <agega9$p6i$>
  • Sender: owner-wri-mathgroup at

"Julio Vera" <jvera at> wrote in message news:<agega9$p6i$1 at>...
> 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

  • Prev by Date: Re: How to display one plot as an inset in another plot?
  • Next by Date: Re: Quantile function
  • Previous by thread: Simplify inequalities
  • Next by thread: RE: Simplify inequalities