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
- References:
- Why doesn't TrueQ return True here?
- From: Jacare Omoplata <walkeystalkey@gmail.com>
- Why doesn't TrueQ return True here?