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]