一个有意思的事情，谁能解释下？

TBE_Legend

In[96]:= {x^2, Power[x, 2], H[a, b]} /. {f_[x_, y_] -> {x, y}}
Out[96]= {{x, 2}, {x, 2}, {a, b}}
In[97]:= {x^2, Power[x, 2]} /. {f_[x_, y_] -> {x, y}}
Out[97]= {x^2, x^2}

eigen

我的想法是这样的：
当运行  {x^2, Power[x, 2]} /. {f_[x_, y_] -> {x, y}} 时
它把List当做f； x^2和 Power[x, 2]当做x和y。

TBE_Legend

我的想法是这样的：
当运行  {x^2, Power[x, 2]} /. {f_[x_, y_] -> {x, y}} 时
它把List当做f； x^2和 Power[x, 2]当做x和y。
eigen 发表于 2011-4-10 17:39

的确如你所言， ReplaceAll 是先套 larger expression， 里面的subexpression 就不动了。

treemantan

那为什么//. 对于  {x^2, Power[x, 2]} /. {f_[x_, y_] -> {x, y}}  和/.一样的效果

treemantan

//.:
In[14]:= {x^2, Power[x, 2]} //. f_[x_, y_] -> {x, y, z}

Out[14]= {{x, 2, z}, {x, 2, z}, z}
/.:
In[18]:= {x^2, Power[x, 2]} /. f_[x_, y_] -> {x, y, z}

Out[18]= {x^2, x^2, z}

而//. :
In[15]:= {x^2, Power[x, 2]} //. f_[x_, y_] -> {x, y}

Out[15]= {x^2, x^2}
/.:
In[16]:= {x^2, Power[x, 2]} /. f_[x_, y_] -> {x, y}

Out[16]= {x^2, x^2}

esetlzn

上面3楼的说法有些欠妥，2楼给了我启发------当List里有两个元素时系统认为其是一个有两个变量的函数（函数名是任意），结果自然是其两个变量，同时Power自动计算；当List的元素数量大于2时为我们常规逐个替代!

esetlzn

楼主你写这code干啥用?很怪异(⌒▽⌒)
按照我的说法／／.也可以理解。

TBE_Legend

5# treemantan


In[9]:= {x^2, Power[x, 2]} /. f_[x_, y_] -> {x, y, z} /.
f_[x_, y_] -> {x, y, z}
Out[9]= {{x, 2, z}, {x, 2, z}, z}
In[10]:= {x^2, Power[x, 2]} /. f_[x_, y_] -> {x, y} /.
f_[x_, y_] -> {x, y}
Out[10]= {x^2, x^2}

treemantan

8# TBE_Legend

谢谢楼主

eigen

谢谢TBE_Legend给我仿真币。我和TBE_Legend从模式匹配的角度解释了这一现象，已经很到位了。
这个问题提得挺好。我猜测是来源于lisonic的“如何去系数？”帖子，用List替换f是否稳定。并不怪异啊。