CharacteristicMatrix(A, lambda) 関数は固有行列 M = A - lambda * I を作成します。ただし、I は適切なサイズの単位行列です。Determinant(M) を用いて求められる M の行列式は、A の  になります。

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

この関数は LinearAlgebra パッケージの一部ですから、コマンド with(LinearAlgebra) を実行した後にのみ CharacteristicMatrix(..) の形で使うことができます。ただし、長い形の名前 LinearAlgebra[CharacteristicMatrix](..) を使えばいつでもアクセスすることができます。

with(LinearAlgebra):
A := <<1,2,3>|<1,2,3>|<1,5,6>>;

CharacteristicMatrix(A,lambda);