Maple中的符号块矩阵计算

Question

在Maple中，

restart; with(LinearAlgebra);
E := Matrix([[A, B]]);
E. Transpose(E);

产生

A^2 + B^2

然而，我希望Maple将A和B视为块矩阵，并产生

A.Transpose(A) + B.Transpose(B)

这可能吗？

Answer 1

您需要为此使用Maple assume()命令（链接）。向下滚动该链接，或者ctrl-f，找到他们展示如何假设变量为"SquareMatrix"类型的部分。基本上，Maple把你的变量当作实数来处理，你需要告诉它不要这样做。一旦你得到了正确的假设语句，它应该打印出基于矩阵的解决方案。

如果你得到了很多粗糙的额外符号，这可能是因为Maple通常会标记使用assume()函数的变量（所以用户记得他们对该变量进行了假设）。例如，如果您发布关于a的assume()，它通常会将a替换为~a。可以使用命令interface(showassumed=0)关闭此功能。