linear-algebra - Maple中的符号块矩阵计算

Question

在枫叶，

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

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

如果你得到很多多余的符号，这可能是因为 Maple 通常会标记assume()使用该函数的变量（因此用户记得他们正在对该变量进行假设）。例如，如果您发出about ，它通常会替换a为. 您可以使用命令将其关闭。~aassume()ainterface(showassumed=0)