矩阵smith标准型步骤