# GAP package EDIM

Author: Frank Lübeck
Needs: GAP in version at least 4.3.;
a C-compiler to compile a new kernel function;
GAPDoc in version at least 0.99 for accessing the documentation
Operating systems: Any, on which GAP is running. (For the provided kernel function the operating system needs to support dynamic loading of kernel code.)
Current version: 1.1 (released 12/12/2001)
Contact: Frank.Luebeck@Math.RWTH-Aachen.De
Download: See below for archives in several formats.

## Description

The main purpose of the EDIM mini package is to publish an implementation of an algorithm (found by the package author) for computing prime parts of the elementary divisors of integer matrices (i.e., the diagonal entries of the Smith normal form).

The programs are developed and already successfully used for large matrices (up to rank >12000) with moderate entries and many non-trivial elementary divisors which are products of some small primes. But they should be useful for other types of matrices as well.

Among the other functions of the package are: An inversion algorithm for large rational matrices (using a p-adic method), a program for finding the largest elementary divisor of an integral matrix (particularly interesting when this is much smaller than the determinant) and implementations of some normal form algorithms described by Havas, Majewski, Matthews, Sterling (using LLL- or modular techniques).

## Installation

Detailed installation instructions are contained in the package README file.

## Online Documentation

Here is the documentation of the EDIM package in several output formats. If you have installed the package as described above you can also access all of these documents from the GAP online help.

- HTML-version ??? SHOULD POINT TO www.gap-system.org ???
- `pdf`-version
- `dvi`-version

## Package Archives for Download

The EDIM package is availabe in several formats:

- `edim-1p1.zoo` (use the "unzoo" or "unzoo.exe" from the GAP homepage)
- `edim-1p1.tar.gz` (GNU `tar` archive, `gzip`'ed)
- `edim-1p1.tar.bz2` (GNU `tar` archive, `bzip2`'ed)
- `edim-1p1.zip` (with UNIX style line breaks in text files)
- `edim-1p1-w.zip` (with DOS/Windows style line breaks in text files)

Frank Lübeck / Last modified: Mon Jan 21 15:34:31 CET 2002