Mini GAP 4 Package EDIM

Contents

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 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