A local construction of the Smith normal form of a matrix polynomial (Q607157)

Canonical forms are a useful tool for classifying matrices -- when working with matrix polynomials over a field \(K\), one fundamental canonical form, the Smith form, is defined. It is the diagonalization \(A = E D F\) of the given matrix \(A\) by unimodular matrices \(E\) and \(F\) such that the diagonal entries \(d_i\) of the matrix \(D\) are monic polynomials. The authors present an algorithm for computing a Smith form with multipliers of a regular matrix polynomial over a field, and discuss the performance of the algorithm in exact arithmetic for several test cases.