GAP 4 Package EDIM
  
  
                    Elementary Divisors and Integer Matrices
  
  
                                 VERSION 1.2.3
  
  
                                 September 2006
  
  
                                  Frank Lübeck
  
  
  
  Frank Lübeck
      Email:    mailto:Frank.Luebeck@Math.RWTH-Aachen.De
      Homepage: http://www.math.rwth-aachen.de/~Frank.Luebeck
      Address:  Lehrstuhl  D für Mathematik RWTH Aachen Templergraben 64 52062
                Aachen Germany
  
  
  
  -------------------------------------------------------
  
  
  Content (edim)
  
  1. The EDIM-Package
    1.1 Installation of the EDIM-package
      1.1-1 InfoEDIM
    1.2 p-Parts of Elementary Divisors
      1.2-1 ElementaryDivisorsPPartRk
      1.2-2 ElementaryDivisorsPPartHavasSterling
    1.3 Inverse of Rational Matrices
      1.3-1 InverseRatMat
      1.3-2 RationalSolutionIntMat
      1.3-3 ExponentSquareIntMatFullRank
    1.4 All Elementary Divisors Using p-adic Method
      1.4-1 ElementaryDivisorsSquareIntMatFullRank
      1.4-2 ElementaryDivisorsIntMatDeterminant
    1.5 Gcd and Normal Forms Using LLL
      1.5-1 GcdexIntLLL
      1.5-2 HermiteIntMatLLL
      1.5-3 HermiteIntMatLLLTrans
      1.5-4 SmithIntMatLLL
      1.5-5 SmithIntMatLLLTrans
    1.6 Utility Functions from the EDIM-package
      1.6-1 RatNumberFromModular
      1.6-2 InverseIntMatMod
      1.6-3 HadamardBoundIntMat
      1.6-4 CheapFactorsInt
      1.6-5 RankMod
    1.7 InverseRatMat - the Algorithm
      1.7-1 Rank of Integer Matrix
  
  
  -------------------------------------------------------