troubles with Transformation Rules (Version 3)
- To: mathgroup at smc.vnet.net
- Subject: [mg40928] troubles with Transformation Rules (Version 3)
- From: Paolo Bientinesi <pauldj at cs.utexas.edu>
- Date: Thu, 24 Apr 2003 05:29:50 -0400 (EDT)
- Organization: University of Texas at Austin
- Sender: owner-wri-mathgroup at wolfram.com
Hello,
could anyone explain the following please?
Given
exp = -A01.f[A11, B, -A12.f[A22, B, C2] + C1] - A02.f[A22, B, C2] + C0
and
sub1={-A02.f[A22,B,C2]+C0->X1}
sub2={f[A22,B,C2]->X3}
I want to express exp in terms of X1 and X3.
The expression
exp /. Join[sub1,sub2] returns
X1-A01.f[A11,B,C1-A12.f[A22,B,C2]]
against the expected
X1-A01.f[A11,B,C1-A12.X3]
(the manual says that each transf. rule is applied to to each part
of the expression)
Notice also that
exp /. Join[sub2,sub1] returns the same
X1-A01.f[A11,B,C1-A12.f[A22,B,C2]]
while both
exp/.sub1/.sub2 and
exp //. Join[sub1,sub2] return the expected
X1-A01.f[A11,B,C1-A12.X3]
I am using Mathematica 3
thanks
--
Paolo
pauldj at cs.utexas.edu paolo.bientinesi at iit.cnr.it