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]