MathGroup Archive 2013

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

Search the Archive

Re: Evaluating inequalities


Sorry, I replaced False with True in my first reading. Still:


In[6]:= relation = -k^2 + w^2/KK^2 > 0;

In[7]:= assumption = w/k < KK;

In[8]:= counterExample = 
 FindInstance[assumption && relation, {w, k, KK}]

Out[8]= {{w -> -(3/2), k -> 1, KK -> 1}}

In[9]:= {assumption, relation} /. counterExample

Out[9]= {{True, True}}



----- Original Message -----
> Hi,
> 
> Why doesn't this:
> 
> Assuming[w/k < KK, -k^2 + w^2/KK^2 > 0] // Simplify
> 
> evaluate to False?
> 
> Thanks!
> 
> Sam
> 
> 



  • Prev by Date: Re: Evaluating inequalities
  • Next by Date: Re: Evaluating inequalities
  • Previous by thread: Re: Evaluating inequalities
  • Next by thread: Re: Evaluating inequalities