D.3.2.20 minipoly

Procedure from library linalg.lib (see linalg_lib).

Usage:

minpoly(M); matrix M

Assume:

eigenvalues of M in basefield

Return:

list l; minimal polynomial of M ideal l[1]; number l[1][i]; i-th root of minimal polynomial of M intvec l[2]; int l[2][i]; multiplicity of i-th root of minimal polynomial of M

Example:

LIB "linalg.lib";
ring R=0,x,dp;
matrix M[3][3]=3,2,1,0,2,1,0,0,3;
print(M);
minipoly(M);