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

assume()これには Mapleコマンドを使用する必要があります(リンク)。そのリンクを下にスクロールするか、ctrl-f を押して、変数が「SquareMatrix」タイプであると仮定する方法を示している部分を見つけます。基本的に、Maple は変数を実数のように扱っているので、そうしないように指示する必要があります。仮定ステートメントを正しく取得したら、マトリックスベースのソリューションを出力する必要があります。

粗悪な余分なシンボルがたくさん表示される場合、Maple は通常、そのassume()関数が使用された変数にフラグを立てることが原因である可能性があります (そのため、ユーザーはその変数について仮定を行っていることを覚えています)。たとえば、 about を発行すると、 に置き換えられることがよくありaます。コマンドでこれをオフにすることができます。~aassume()ainterface(showassumed=0)