*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