Use a rule with an expression more than once

操作指南 6 步，在同一个会话中按顺序运行。每一步都在引擎上执行过，下面的输出就是它实际产生的。

第 1 步

a + x ^ 2 + y ^ 6 /. {x -> 2 + a, a -> 1}

输出

1 + (2 + a)^2 + y^6

第 2 步

a + x ^ 2 + y ^ 6 //. {x -> 2 + a, a -> 1}

输出

10 + y^6

第 3 步

log[a b c d] /. log[x_ y_] -> log[x] + log[y]

输出

log[a*b*c*d]

第 4 步

log[a b c d] //. log[x_ y_] -> log[x] + log[y]

输出

log[a*b*c*d]

第 5 步

ReplaceRepeated[x, x -> x + 1, MaxIterations -> 1000]

输出

1000 + x

第 6 步

ReplaceList[log[a b c], log[x_ y_] -> log[x] + log[y]]//Column

输出

Column[{}]

Use a rule with an expression more than once

用到的函数