Moodle 将矩阵方程的解代入极大值的矩阵积

Moodle 将矩阵方程的解代入极大值的矩阵积,moodle,symbolic-math,maxima,Moodle,Symbolic Math,Maxima,我尝试在Maxima中(在Moodle堆栈中)执行以下操作: 但我得到的输出是x3+3⋅x2+5⋅x1,它应该是函数z在点base0处的数值。不久前,我使用了solve-函数,但这次甚至没有像这样将组件显式插入到表达式中 zval : subst(matrix([0],[0],[5],[0],[1]),matrix([x1],[x2],[x3],[s1],[s2]),matrix([5],[3],[1],[0],[0]).matrix([x1],[x2],[x3],[s1],[s2])); 工

我尝试在Maxima中(在Moodle堆栈中)执行以下操作:

但我得到的输出是
x3+3⋅x2+5⋅x1
,它应该是函数
z
在点
base0
处的数值。不久前,我使用了
solve
-函数,但这次甚至没有像这样将组件显式插入到表达式中

zval : subst(matrix([0],[0],[5],[0],[1]),matrix([x1],[x2],[x3],[s1],[s2]),matrix([5],[3],[1],[0],[0]).matrix([x1],[x2],[x3],[s1],[s2]));

工作。
solve
的问题从来没有解决过,所以我想知道从现在起我是否必须手工计算。

subst
只是一个语法替换——它在
z
中寻找值
x
的显式出现,它并不是说你想把
base0
x
的第i个元素等同起来

我通过构造一个方程列表来表示预期的替换,从而得到我认为是预期的结果

(%i6) eqs:makelist(x[i,1] = base0[i,1],i,1,5)
(%o6)              [x1 = 0, x2 = 0, x3 = 5, s1 = 0, s2 = 1]
(%i7) zval:subst(eqs,z)
(%o7)                                  5

subst
仅仅是一种语法替换——它在
z
中寻找值
x
的显式出现,并且它并不认为您的意思是等同于
base0
x
的第i个元素

我通过构造一个方程列表来表示预期的替换,从而得到我认为是预期的结果

(%i6) eqs:makelist(x[i,1] = base0[i,1],i,1,5)
(%o6)              [x1 = 0, x2 = 0, x3 = 5, s1 = 0, s2 = 1]
(%i7) zval:subst(eqs,z)
(%o7)                                  5

我仍然对
解决
问题感到好奇。我想问一些额外的信息,如果你有什么可以提及的。我仍然对
解决
问题很好奇。我想问一些额外的信息,如果你有什么可以提及的。