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