Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.soft-sys.math.mathematica > #3192
| From | DrMajorBob <btreat1@austin.rr.com> |
|---|---|
| Newsgroups | comp.soft-sys.math.mathematica |
| Subject | Re: Why doesn't TrueQ return True here? |
| Date | 2011-06-20 12:04 +0000 |
| Organization | Steven M. Christensen and Associates, Inc and MathTensor, Inc. |
| Message-ID | <itnd12$7gc$1@smc.vnet.net> (permalink) |
| References | <201106192329.TAA01160@smc.vnet.net> |
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@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@yahoo.com
Back to comp.soft-sys.math.mathematica | Previous | Next | Find similar | Unroll thread
Re: Why doesn't TrueQ return True here? DrMajorBob <btreat1@austin.rr.com> - 2011-06-20 12:04 +0000
csiph-web