replace - 千里马:如何用符号代替普通子表达式

Question

假设我有一个类似的表达式(实际上我的复杂得多，有数千个字符)

expr:a+b*c+b*c*d;

我想用符号替换内部子表达式(用于避免重新计算常见子表达式)，用 k代替 b*c:

subst(b*c=k,expr);

退货

k+b*c*d+a

我如何使Maxima计算“正确的”替代值以便返回(除上述简化之外)

k+k*d+a

？

Answer 1

看一看let和letsimp。例如。:

(%i2) expr : a + b*c + b*c*d;
(%o2) b*c*d+b*c+a
(%i3) let (b*c, k);
(%o3) b*c --> k
(%i4) letsimp (expr);
(%o4) d*k+k+a

letsimp与 subst和 tellsimp或 defrule的不同之处在于，这些其他函数仅进行形式上的替换，即替换与某种模式完全相同的子表达式。