This function returns the minimal polynomial of the matrix
M
in the
indeterminate
X
(with
M
a square matrix whose entries lie
in the coefficient ring of
X
, or in the same ring as
X
but not
dependent on
X
).
See also CharPoly.
Example
/**/ use R ::= QQ[x];
/**/ MinPoly(matrix([[0,0,1],[0,0,0],[0,0,0]]), x);
x^2
/**/ CharPoly(matrix([[0,0,1],[0,0,0],[0,0,0]]), x);
x^3