Minimal polynomial (source code)

= Minimal polynomial
{wiki}

The minimal polynomial $m_A$ is the unique monic polynomial of least degree satisfying $m_A(A)=0$. It divides every polynomial that annihilates $A$.