symbolic-math - maxima CAS - 変数を式に置き換える方法は?

Question

マキシマでは、部分式に変数置換を適用する方法はありますか? たとえば、 のインスタンスを に置き換え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

Answer 1

私はratsubstあなたが望む効果があると思います。

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