爲什麼這個mathematica模式變量沒有被評估？

Question

顯然這些模式變量不像我所預期的那樣工作。這裏有一個簡單的例子：

In[264] := 1 /. x_ -> {x, f[x], ToString[x]} 
Out[264] := {1, f[1], "x"} 

爲什麼最後一個元素「x」而不是「1」。以下按預期工作。

In[267]:= y = 2; 
    ToString[y] 
Out[268]= "2" 

感謝，
羅布

Answer 1

發生替換前規則的右手邊正在接受評估，所以你需要使用RuleDelayed（:>），而不是Rule（->）：

In[1]:= 1 /. x_ :> {x, f[x], ToString[x]} 

Out[1]= {1, f[1], "1"} 

Rule和RuleDelayed類似於Set （=）和SetDelayed（:=）。

HTH！

Answer 2

嘗試Trace[1 /. x_ -> {x, f[x], ToString[x]}]。我目前無法訪問mathematica，但我相信您會看到替換項（特別是ToString[x]）在應用之前評估爲，因此您正在執行1 /. x_ -> {x, f[x], "x"}。