Jordan normal form via Smith form of xI−A in K[x]: compute invariant factors of the companion matrix to obtain Jordan blocks

Class:
Algorithm