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

Re: Typing, Declare and Mma3.0

• To: mathgroup at smc.vnet.net
• Subject: [mg5017] Re: Typing, Declare and Mma3.0
• From: vvs124 at rsphy1.anu.edu.au (Victoria Steblina)
• Date: Sat, 19 Oct 1996 02:25:58 -0400
• Organization: Australian National University
• Sender: owner-wri-mathgroup at wolfram.com

In article <542t56$p9f at dragonfly.wolfram.com>
jeremy_gorman at smtp.svl.trw.com (Jeremy Gorman) writes:

> With Mma 2.2.2 I find:
> 
> In[1]:=
> Re[Conj[Re[a]]]
> Out[1]=
> Re[Conj[Re[a]]]
> 
> Type checking is either insufficiently stringent or fails
> to distribute properly over the Conj[] function.
> I tried using Declare.m from Mathsource, to resolve this,
> but still I get:
> 
> In[129]:=
> Declare[a,Real]
> In[130]:=
> Re[Conj[a]]
> Out[130]=
> Re[Conj[a]]
> 
> Does Mma 3.0 resolve this for me? If not, is there
> some newer Declare.m that will? 

V2.2.2 handles this just right without Declare - take a 
closer look at your input syntax, it should be Conjugate 
instead of Conj  :)

(local) In[10]:=
Re[Conjugate[Re[a]]]
(local) Out[10]=
Re[a]