TITLE:
Computation of the Smith Form for Multivariate Polynomial Matrices Using Maple
AUTHORS:
Mohamed Salah Boudellioua
KEYWORDS:
Smith Form; Unimodular; Equivalence; Quillen-Suslin Theorem; Maple
JOURNAL NAME:
American Journal of Computational Mathematics,
Vol.2 No.1,
March
21,
2012
ABSTRACT: 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.