• ← ReplaceList
• → RuleDelayed

ReplaceRepeated (//.)

WMA link

ReplaceRepeated[expr, x -> y]

expr //. x -> y

repeatedly applies the rule x -> y to expr until
the result no longer changes.

• • a+b+c //. c->d

• • f = ReplaceRepeated[c->d];

• • f[a+b+c]

• • Clear[f];

Simplification of logarithms:

• • logrules = {Log[x_ * y_] :> Log[x] + Log[y], Log[x_ ^ y_] :> y * Log[x]};

• • Log[a * (b * c) ^ d ^ e * f] //. logrules

ReplaceAll just performs a single replacement:

• • Log[a * (b * c) ^ d ^ e * f] /. logrules