符号块的矩阵计算在Maple

Question

在枫木，

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

产量

A^2 + B^2 

然而，我想的是枫树治疗A和B作为块矩阵和屈服

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

这可能吗？

Answer 1

您需要为此使用枫叶assume()命令（link）。向下滚动该链接，或按Ctrl-f并找到它们显示如何假定变量是“SquareMatrix”类型的部分。基本上，Maple会把你的变量看作是真实的数字，你需要告诉它不要那样做。一旦你得到正确的假设陈述，它应该打印出基于矩阵的解决方案。

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