Question about rule programming
- To: mathgroup@smc.vnet.net
- Subject: [mg11957] Question about rule programming
- From: Jacek Pliszka <pliszka@bethe.ucdavis.edu>
- Date: Fri, 10 Apr 1998 01:03:46 -0400
- Organization: University of California, Davis
Hi!
I have the following problem (I hope solution is simple):
I am using tracer package and it has the following definition:
S /: S[{mu_},p_] f_[a___,{mu_},b___] := f[a, p,b];
I'd like to have this substition on any depth of expression, how to do
it?
At the moment I have separate rule for every depth: S /: S[{mu_},p_]
f_[a___,g_[b___,{mu_},c___],d___] :=
f[a,g[b,p,c],d]
but it's so ugly.
Thanks in advance,
Jacek