Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2002
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2002

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

Search the Archive

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


  • 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