MinimalPolynomial(A, lambda) 関数は行列 A の最小多項式である lambda の多項式を返します。

A の最小多項式は A を零点として持つすべての多項式を割り切るものの中で最低次数の多項式です。

A の最小多項式は常に A の固有多項式を割り切ります。

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

with(LinearAlgebra):
A := <<3,0,1>|<-1,2,-1>|<0,0,2>>;

mp := MinimalPolynomial(A,x);

divide( CharacteristicPolynomial(A,x), mp );

P := unapply( mp, x );

P(A);