求整数矩阵Hermite正规形的模算法