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

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