MathGroup Archive 2011

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

Search the Archive

Why doesn't TrueQ return True here?

Here's the output.
In[29]:= Element[{t1, t2}, Reals]

Out[29]= (t1 | t2) \[Element] Reals

In[30]:= $Assumptions = t2 > t1

Out[30]= t2 > t1

In[31]:= TrueQ[(t2 - t1) > 0]

Out[31]= False

I would expect TrueQ to return True, not False. Why does it return False?

And how can I test whether t2-t1 is positive?


  • Prev by Date: Re: Metastable expressions in Mathematica
  • Next by Date: Why can't FullSimplify give more uniform output?
  • Previous by thread: Interpolation with known derivative values
  • Next by thread: Re: Why doesn't TrueQ return True here?