Goto Chapter: | Top | 1 | Bib | Ind

# GAP 4 Package EDIM

## Elementary Divisors and Integer Matrices

VERSION 1.2.3

September 2006

Frank Lübeck
e-mail: Frank.Luebeck@Math.RWTH-Aachen.De
WWW: http://www.math.rwth-aachen.de/~Frank.Luebeck
Address:
Lehrstuhl D für Mathematik RWTH Aachen Templergraben 64 52062 Aachen Germany

### Contents

1. The EDIM-Package
1.1 Installation of the EDIM-package
1.1-1 InfoEDIM
1.2 FORMULA-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

Top of Book | Next Chapter

Goto Chapter: | Top | 1 | Bib | Ind

generated by GAPDoc2HTML