Computation of the Smith Form for Multivariate Polynomial Matrices Using Maple
Mohamed Salah Boudellioua · American Journal of Computational Mathematics · 2012
In this paper we show how the transformations associated with the reduction to the Smith form of some classes of mul-tivariate polynomial matrices are computed. Using a Maple implementation of a constructive version of the Quillen-Suslin Theorem, we present two algorithms for the reduction to a particular Smith form often associated with the simplification of linear systems of multidimensional equations.