符號塊的矩陣計算在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)關閉此功能。