Computation of the Smith Form for Multivariate Polynomial Matrices Using Maple

• 作者: Mohamed Salah Boudellioua
• 来源期刊: 美国计算数学期刊(英文)
• 学科: 数学
• 关键词: SMITH FORM Unimodular EQUIVALENCE Quillen-Suslin Theorem MAPLE
• 年，卷（期）: 2012,（1）
• 页码范围: 21-26
• 页数: 6页
• 分类号: O1

摘要

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.