替代變量？

Question

我試圖取代L與Lα：

f(x) := c * (x + L); 
c: L; 
f(x), L: Lα; 

我所期望的輸出：

Lα * (x + Lα) 

，而不是我

L * (x + Lα) 

也許我應該definef(x)呢？

kill(all); 

define(
    f(x), 
    c * (x + L) 
); 

c: L; 
f(x), L: Lα; 

不是 - 同樣的結果。

我是否用錯誤的方式將L替換爲Lα？

編輯：

原來這是預期的行爲，如最大值ev avluates表達一次。一個can impose "infinite evaluation"通過標誌infeval：

​​

另一種解決方案是使用subst代替：

subst(
    Lα, L, f(x) 
); 

（source）

Answer 1

您需要添加額外的eval的步驟，使這項工作：

f(x) := c * (x + L); 
c: L; 
f(x), L: Lα, eval; 

輸出：

Lα (x + Lα) 

Answer 2

使用subst代替ev。

(%i1) f(x) := c * (x + L)$ 
(%i2) c: L$ 
(%i3) subst(L=La,f(x)); 
(%o3) La (x + La) 

但請記住，函數繼續爲c *（x + L）。符號c已被綁定到L，如果您將符號L綁定到La，c將繼續綁定到L而不是La。Maxima變量的工作方式與Lisp中的相同，這可能與您以前使用的方法不同其他語言。