Rational (Frobenius) canonical form

Every linear operator T on a finite-dimensional vector space over any field F is conjugate to a block-diagonal matrix of companion matrices of invariant factors f_1 | f_2 | … | f_k. Works over arbitrary fields where Jordan form requires…