摘要
A new necessary and sufficient condition for the existence of minor left prime factorizations of multivariate polynomial matrices without full row rank is presented.The key idea is to establish a relationship between a matrix and any of its full row rank submatrices.Based on the new result,the authors propose an algorithm for factorizing matrices and have implemented it on the computer algebra system Maple.Two examples are given to illustrate the effectiveness of the algorithm,and experimental data shows that the algorithm is efficient.
基金
supported by the National Natural Science Foundation of China under Grant Nos.12171469,12001030 and 12201210
the National Key Research and Development Program under Grant No.2020YFA0712300
the Fundamental Research Funds for the Central Universities under Grant No.2682022CX048。
