在最大值中,有没有办法为子表达式应用变量替换?例如,用 替换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
在最大值中,有没有办法为子表达式应用变量替换?例如,用 替换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