Services & ResourcesWolfram ForumsMathGroup Archive

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

Re: Adding equations

• To: mathgroup at smc.vnet.net
• Subject: [mg14430] Re: [mg14342] Adding equations
• From: Garrett Tim Sos <gts at mindspring.com>
• Date: Wed, 21 Oct 1998 03:32:26 -0400
• References: <199810150428.AAA18222@smc.vnet.net.> <199810181909.PAA02248@smc.vnet.net.>
• Sender: owner-wri-mathgroup at wolfram.com

Someone asked why Thread did not work with eq1 - eq2 of eq1 / eq2.  
FullForm is useful here:

In[46]:=
e1 = a == b;
e2 = c == d;
e3 = Thread[e1-e2,Equal]

Out[46]=
a-(c==d)==b-(c==d)

In[47]:=
FullForm[%]

Out[47]//FullForm=
Equal[Plus[a,Times[-1,Equal[c,d]]],Plus[b,Times[-1,Equal[c,d]]]]

In[48]:=
e1 = a == b;
e2 = c == d;
e3 = Thread[e1 + Thread[-e2,Equal],Equal]

Out[48]=
a-c==b-d

In[49]:=
e1 = a == b;
e2 = c == d;
e3 = Thread[e1 /e2,Equal]

Out[49]=
a/(c == d) == b/(c == d)

In[50]:=
FullForm[%]

Out[50]//FullForm=
Equal[Times[a,Power[Equal[c,d],-1]],Times[b,Power[Equal[c,d],-1]]]

In[51]:=
e1 = a == b;
e2 = c == d;
e3 = Thread[e1 * Thread[1/e2,Equal],Equal]

Out[51:=
a/c == b/d

• References:
  • Adding equations
    • From: Lawrence Walker <lwalker701@earthlink.net>
  • Re: Adding equations
    • From: Daniel Lichtblau <danl>