多项式矩阵基本概念

求Smith标准型：

尽可能有1消去元素。