  
  
                            [1m[4m[31mMini GAP 4 Package [1mEDIM[1m[4m[31m[0m
  
  
                    [1m[4m[31mElementary Divisors and Integer Matrices[0m
  
  
                                  VERSION 1.1
  
  
                                 September 2000
  
  
                                  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
  
  -------------------------------------------------------
  
  
  [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 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
  
  
  -------------------------------------------------------
