IsSimilar(A, B) 関数は A と B が相似ならば true を返します。

2 つの行列 A と B は C . A = B . C を満たす行列 C が存在するとき相似であるといいます。

これら行列のいずれかが浮動小数点の要素を持っていれば、はじめに有理数に変換されます。

呼び出し手順の中に out が含まれていれば、指定されたオブジェクトだけが式列の形で返されます。返されたオブジェクトとして、 query へのブール応答と相似変換行列のどちらかまたは両方がありえます。両方のオブジェクトが要求されると、 output リストに指定された順序で返されます。

A と B が相似でなく行列 C が要求されているとき、返された行列 C は A と B に対する相似変換行列にはなりません。

outputoptions['C'] オプション (outopts) は結果を作成する Matrix コンストラクタに付加情報 (readonly, shape, storage, order, datatype, attributes) を与えます。

with(LinearAlgebra):
IsSimilar( <<2,0>|<I,-2>>, <<1,I>|<0,-1>> );

A := DiagonalMatrix([5,12,13]);

B := <<5,0,0>|<3,12,0>|<4,-4,13>>;

(q, P) := IsSimilar(A, B, output=['query', 'C']);

A = P^(-1) . B . P;