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()命令（link）。向下滚动该链接，或者按ctrl-f找到它们显示如何假设变量是“SquareMatrix”类型的部分。基本上，Maple将你的变量视为实数，你需要告诉它不要这样做。一旦你得到了正确的假设陈述，就应该打印出基于矩阵的解决方案。

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