The Jordan canonical form (JCF) of a square matrix is a foundational tool in matrix analysis. If the matrix A is known exactly, symbolic computation of the JCF is possible though expensive. When the matrix contains parameters, exact computation requires either a potentially very expensive case discussion, significant expression swell or both. For this reason, no current computer algebra system ...
