期刊
JOURNAL OF SYMBOLIC COMPUTATION
卷 120, 期 -, 页码 -出版社
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
DOI: 10.1016/j.jsc.2023.102232
关键词
Multidimensional ( n D) system; Serre's reduction; n D polynomial matrix; Smith normal form; Reduced Grobner bases
This paper investigates the reduction of weakly linear multivariate polynomial matrices to their Smith normal forms, using hierarchical-recursive method and Quillen-Suslin Theorem. The necessary and sufficient conditions for such matrices to be reduced to their Smith normal forms are derived, which can be easily checked by computing the reduced Grobner bases of the relevant polynomial ideals. Based on the new results, an algorithm for reducing weakly linear multivariate polynomial matrices to their Smith normal forms is proposed.
The reduction of a multidimensional system is closely related to the reduction of a multivariate polynomial matrix, for which the Smith normal form of the matrix plays a key role. In this paper, we investigate the reduction of weakly linear multivariate polynomial matrices to their Smith normal forms. Using hierarchical-recursive method and Quillen-Suslin Theorem, we derive some necessary and sufficient conditions ensuring that such matrices can be reduced to their Smith normal forms, and these conditions are easily checked by computing the reduced Grobner bases of the relevant polynomial ideals. Based on the new results, we propose an algorithm for reducing weakly linear multivariate polynomial matrices to their Smith normal forms.& COPY; 2023 Elsevier Ltd. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据