Algorithm 60. Determination of the Jordan canonical form of real matrix
Cayley-Hamilton theorem is proved by an analytical approach by recalling certain interesting properties of density. In this process, the classical expressions of the principal invariants follow immediately from the proposed proof's scheme.
In this paper, we present a simple algorithm for the reduction of a given bivariate polynomial matrix to a pencil form which is encountered in Fornasini-Marchesini's type of singular systems. It is shown that the resulting matrix pencil is related to the original polynomial matrix by the transformation of zero coprime equivalence. The exact form of both the matrix pencil and the transformation connecting it to the original matrix are established.