Maxima CAS - 如何设置一些东西（为零）

Question

我有一个量 w1[k,n],w2[k,n] 的递归方程，其中 k 是正整数或负整数，n 是正整数。等式如下：

eq1_1 : w1[ K, N ] + R*sum( sum( w1[ K-k, N-n ]*'diff( w2[ k, n-1 ], R ) + w2[ K-k, N-n ]*'diff( w2[ k, n-1 ], z ) + %i*k*( w1[ K-k, N-n ]*w2[ k, n ]*'diff( S, R ) + w2[ K-k, N-n ]*w2[ k, n ]*'diff( S, z ) ) , k, -n-1, n+1 ), n, 0, N ) = 0;

我写了一条规则

rule0: [N=0, K=0]

写第一个词。我只是想写它，而不是解决它。我替换这条规则，设置

simpsum:true 

我得到一个方程作为输出（很抱歉，我无法在此处复制它），其中 w1[-1,-1] 等项应该等于 0，因为 n 是正数。我尝试使用 subst、ratsubst 和 tellsimp 将其设置为零，但它们都不起作用（也许我使用了错误的语法）。有没有办法将这些项设置为零，或者甚至更好地告诉 maxima 在执行任何计算之前不要写它们？

Answer 1

w2[-1,0] : 0$ /* repeat as needed for other specific elements */
subst(rule0,eq1_1);
ev(%);

或者，等价的，

w2[-1,0] : 0$
subst(rule0,eq1_1),eval;