Definition of minimal polynomial of a matrix

math.la.d.mat.minpoly