Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2011

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

Search the Archive

Re: Why doesn't TrueQ return True here?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg119743] Re: Why doesn't TrueQ return True here?
  • From: DrMajorBob <btreat1 at austin.rr.com>
  • Date: Mon, 20 Jun 2011 08:04:44 -0400 (EDT)
  • References: <201106192329.TAA01160@smc.vnet.net>
  • Reply-to: drmajorbob at yahoo.com

In[29] doesn't do ANYTHING, and In[30] affects only "such functions as  
Simplify, Refine, and Integrate", according to help.

It doesn't affect TrueQ, but it does affect Simplify:

$Assumptions = t2 > t1
Simplify[t2 - t1 > 0]

t2 > t1

True

Bobby

On Sun, 19 Jun 2011 18:29:26 -0500, Jacare Omoplata  
<walkeystalkey at gmail.com> wrote:

> 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?
>
> Thanks.
>


-- 
DrMajorBob at yahoo.com


  • Prev by Date: Re: Why doesn't TrueQ return True here?
  • Next by Date: Re: How to find one expression in terms of another
  • Previous by thread: Why doesn't TrueQ return True here?
  • Next by thread: Re: Why doesn't TrueQ return True here?