Rational canonical form (source code)

= Rational canonical form
{wiki}

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