Symbolic math maxima CAS-如何用变量替换表达式？

在maxima中，有没有一种方法可以对子表达式应用变量替换？例如，将

x+y

的实例替换为

z

subst

适用于一般情况，但不适用于其他情况

(%i92) subst(x + y = foo, x + y);
(%o93) foo
(%i94) subst(x + y = foo, x + y + z);
(%o95) z + y + x

---

我认为

ratsubst

具有您想要的效果

(%i2) ratsubst(foo, x+y, x+y+z);
(%o2)                               z + foo