Annotating variables in replacement rules

Question

How do you decorate or annotate a variable in a replacement rule?

For example

{(e[(-X + Y)^2 || f])} //. {e[(-a_ + b_)^2 || f] -> (-a + b)^2}

Would ideally return:

(-lagXdt + lagYdt)^2

Update: The following does not return lagXdt and lagYdt but rather lagadt and lagbdt:

{(e[(-X + Y)^2 || f])} //. {e[(-a_ + b_)^2 || 
     f] -> (-Symbol["lag" <> ToString@a <> "dt"] + 
      Symbol["lag" <> ToString@b <> "dt"])^2}

Your code sample is ... quite wrong. You should balance your parentheses and check what the // was supposed to be. — MarcoB, Commented Dec 12, 2019 at 22:18

Hedgehog · Accepted Answer · 2019-12-12 23:03:39Z

2

Got it eventually, the key was to use :> instead of ->:

{(e[(-X + Y)^2 || f])} //. {e[(-a_ + b_)^2 || f] :> (-Symbol["lag" <> ToString@a <> "dt"] + Symbol["lag" <> ToString@b <> "dt"])^2}

{(-lagXdt + lagYdt)^2

answered Dec 12, 2019 at 23:03

Hedgehog

6243 silver badges15 bronze badges

Add a comment |

1 Answer 1