Exact reduction of a polynomial matrix to the Smith normal form

A finite field transform method is described for the exact reduction of a single-variable polynomial matrix to its Smith form, without the accompanying problem of coefficient growth.