发现一个Trick，请来分析分析原理

HyperGroups

再看一个例子升级版
SetAttributes[Plus,HoldAllComplete]
a-b+a-b+(a-b)*c+(a-b)*d/.a-b->x
这样就要替换三次才行。

guocong89

我最终的意见是这样的，当它第一次使用Flat属性且成功匹配后，匹配过程就宣布结束了，不再继续深层的扫描或Flat测试。

HyperGroups

19# guocong89
7楼的例子中
In[25]:= Level[a b + Sin[a b], -1]
Level[a b Sin[a b], -1]
Level[(a + b) Sin[a + b], -1]
Level[(a + b) + Sin[a + b], -1]
Out[25]= {a, b, a b, a, b, a b, Sin[a b]}
Out[26]= {a, b, a, b, a b, Sin[a b]}
Out[27]= {a, b, a + b, a, b, a + b, Sin[a + b]}
Out[28]= {a, b, a, b, a + b, Sin[a + b]}
分别对应
x + Sin[x]
x Sin[a b]
x Sin[x]
x + Sin[a + b]
如果Level中出现的a b或a+b的个数少于眼睛看到的（目前的情况），则只替换第一个。

连加失效是因为算术运算优先级高，所以后面用了HoldAllComplete

Level[Hold[a - b + a - b + Sin[a - b]], -1]
Level[Hold[(a - b) (a - b) Sin[a - b]], -1]
Level[Hold[(a - b + c) Sin[a - b]], -1]
Level[Hold[a - b + c Sin[a - b]], -1]
{a, -1, b, -b, a, -1, b, -b, a, -1, b, -b, a - b, Sin[a - b],
2 a - 2 b + Sin[a - b]}
{a, -1, b, -b, a - b, a, -1, b, -b, a - b, a, -1, b, -b, a - b,
Sin[a - b], (a - b)^2 Sin[a - b]}
{a, -1, b, -b, c, a - b + c, a, -1, b, -b, a - b,
Sin[a - b], (a - b + c) Sin[a - b]}
{a, -1, b, -b, c, a, -1, b, -b, a - b, Sin[a - b], c Sin[a - b],
a - b + c Sin[a - b]}
也是这样。

HyperGroups

22# guocong89
是这个意思，这可以回答19楼的这个问题

什么叫做 同时替换？ 为什么可以同时找到a 却不能同时找到 a-b ？
是不能同时找到a-b