Rational canonical form

Rational canonical form expresses a linear map as a direct sum of companion matrices of invariant factors, and works over any field.