  
  
                               [1m[4m[31mGAP 4 Package [1mEDIM[1m[4m[31m[0m
  
  
                    [1m[4m[31mElementary Divisors and Integer Matrices[0m
  
  
                                 VERSION 1.2.3
  
  
                                 September 2006
  
  
                                  Frank Lübeck
  
  
  
  Frank Lübeck
      Email:    [34mmailto:Frank.Luebeck@Math.RWTH-Aachen.De[0m
      Homepage: [34mhttp://www.math.rwth-aachen.de/~Frank.Luebeck[0m
      Address:  Lehrstuhl  D für Mathematik RWTH Aachen Templergraben 64 52062
                Aachen Germany
  
  
  
  -------------------------------------------------------
  
  
  [1m[4m[31mContent (edim)[0m
  
  1. The [1mEDIM[0m-Package
    1.1 Installation of the [1mEDIM[0m-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 [1mEDIM[0m-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
  
  
  -------------------------------------------------------
