[1m[4m[31mReferences[0m [33m[D82] [0m[1m[31mDixon, J. D. [0m, [34mExact Solution of Linear Equations Using p-adic Expansions[0m, Numer. Math., [34m40[0m (1982), 137--141 [33m[HMM98] [0m[1m[31mHavas, G. and Majewski, B. S. and Matthews, K. R. [0m, [34mExtended gcd and Hermite normal form algorithms via lattice basis reduction[0m, Experimental Mathematics, [34m7[0m (1998), 125--135 [33m[HS79] [0m[1m[31mHavas, G. and Sterling, L. S. [0m, [34mInteger matrices and abelian groups[0m, in [34mSymbolic and algebraic computation[0m, Springer-Verlag, Berlin, Lecture Notes in Computer Science, [34m72[0m (1979), 431--451 [33m[L02] [0m[1m[31mLübeck, F. [0m, [34mOn the Computation of Elementary Divisors of Integer Matrices[0m, Journal of Symbolic Computation, [34m33[0m (2002), 57--65 -------------------------------------------------------