References
  
  [D82]  Dixon,  J.  D.  , Exact Solution of Linear Equations Using p-adic
  Expansions, Numer. Math., 40 (1982), 137--141
  
  [HMM98] Havas, G. and Majewski, B. S. and Matthews, K. R. , Extended gcd
  and   Hermite  normal  form  algorithms  via  lattice  basis  reduction,
  Experimental Mathematics, 7 (1998), 125--135
  
  [HS79]  Havas,  G.  and  Sterling,  L. S. , Integer matrices and abelian
  groups,  in Symbolic and algebraic computation, Springer-Verlag, Berlin,
  Lecture Notes in Computer Science, 72 (1979), 431--451
  
  [L02]  Lübeck, F. , On the Computation of Elementary Divisors of Integer
  Matrices, Journal of Symbolic Computation, 33 (2002), 57--65
  
  
  
  -------------------------------------------------------