On Jacob's construction of the rational canonical form of a matrix

Abstract

H.G. Jacob's elegant approach to the rational canonical, or Frobenius normal form of a linear map is presented here in pure matrix language, thereby avoiding the abstract machinery and prerequisites in the original paper. Related algorithmic aspects and an efficient implementation in the computer algebra system GAP are also discussed.