Thu Jan 30 21:34:30 MST 1997 euler% math Mathematica 3.0 for Solaris Copyright 1988-96 Wolfram Research, Inc. -- Terminal graphics initialized -- In[1]:= In[2]:= In[3]:= (* ----------[ M a t h e m a t i c a ]---------- *) 0. Second In[4]:= (* ---------- Initialization ---------- *) 0. Second In[5]:= (* ---------- Mathematics vs Computer Science ---------- *) 0. Second In[6]:= (* Just how well are pattern matches between mathematically\ > equivalent forms performed? *) 0. Second In[7]:= MatchQ[Exp[y], Exp[x_]] 0. Second Out[7]= True In[8]:= MatchQ[E^y, Exp[x_]] 0. Second Out[8]= True In[9]:= MatchQ[Exp[y], E^x_] 0. Second Out[9]= True In[10]:= MatchQ[E^y, E^x_] 0. Second Out[10]= True In[11]:= MatchQ[Sqrt[y], Sqrt[x_]] 0. Second Out[11]= True In[12]:= MatchQ[y^(1/2), Sqrt[x_]] 0. Second Out[12]= True In[13]:= MatchQ[Sqrt[y], x_^(1/2)] 0. Second Out[13]= True In[14]:= MatchQ[y^(1/2), x_^(1/2)] 0. Second Out[14]= True In[15]:= MatchQ[I*y, I*x_] 0. Second Out[15]= True In[16]:= MatchQ[Sqrt[-1]*y, I*x_] 0. Second Out[16]= True In[17]:= MatchQ[(-1)^(1/2)*y, I*x_] 0. Second Out[17]= True In[18]:= MatchQ[I*y, Sqrt[-1]*x_] 0. Second Out[18]= True In[19]:= MatchQ[Sqrt[-1]*y, Sqrt[-1]*x_] 0. Second Out[19]= True In[20]:= MatchQ[(-1)^(1/2)*y, Sqrt[-1]*x_] 0. Second Out[20]= True In[21]:= MatchQ[I*y, (-1)^(1/2)*x_] 0. Second Out[21]= True In[22]:= MatchQ[Sqrt[-1]*y, (-1)^(1/2)*x_] 0.01 Second Out[22]= True In[23]:= MatchQ[(-1)^(1/2)*y, (-1)^(1/2)*x_] 0. Second Out[23]= True In[24]:= (* ---------- Quit ---------- *) 0. Second In[25]:= Quit[] real 3.44 user 0.74 sys 0.28