Modules for Maple
In control theory the problem of computing greatest common divisors of polynomial matrices arises when trying to compute coprime matr ix factorizations of a given transfer function (see Kailath [2]). Much work has been done on this topic in the numerical case, where the coefficients of the polynomials are floating point numbers. We are invest igating the extension of these algorithms to the symbolic