What is wrong with this rule?
- Subject: What is wrong with this rule?
- From: dp2 at cise.ufl.edu
- Date: Tue, 7 Feb 2006 13:09:31 -0500 (EST)
I am trying to apply rule for the following scenario; but not able to
figure out why the replacement not happening.
Please help me solve:
(%i42) eq1;
n n n n
==== ==== ==== ====
\ \ \ \
(%o42) > > > > x(i102, l) x(i104, l) x(i105, l)
/ / / /
==== ==== ==== ====
i105 = 1 i106 = 1 i104 = 1 i102 = 1
x(i106, l)
(%i43) defrule(r1,x(I, L)*x(J, S)*x(M, K)*x(N, T),r(L,K,T));
(%o43) r1 : x(I, L) x(J, S) x(M, K) x(N, T) -> r(L, K, T)
(%i44) disprule(r1);
(%o44) r1 : x(I, L) x(J, S) x(M, K) x(N, T) -> r(L, K, T)
(%i45) apply(apply1,[eq1,r1]);
n n n n
==== ==== ==== ====
\ \ \ \
(%o45) > > > > x(i130, l) x(i132, l) x(i133, l)
/ / / /
==== ==== ==== ====
i133 = 1 i134 = 1 i132 = 1 i130 = 1
x(i134, l)
Thanks
Dileep