Up: mathematical computation

# Algebra Software

Besides general computer algebra software, the Geometry Center maintains a several specialized computer algebra packages packages that actually focus on mathematical algebra.

## automata

Automata is a control program for a collection of programs for working with automatic groups. The aim of the package is to construct the word acceptor and multiplier automata associated with a shortest word automatic group.

The individual programs, as well as the C source code are publicly available by ftp from the Geometry Center. The automata package was written by David Epstein, Derek Holt and Sarah Rees of the University of Warwick (in part at the Center). For more information, consult the man pages, or contact Derek Holt (dfh@maths.warwick.ac.uk) or David Epstein (dbae@maths.warwick.ac.uk).

## GAP

GAP, an acronym for Groups, Algorithms and Programming, is a general purpose group theory program. In addition to standard program control functions, GAP implements a wide variety of operations related to matrix groups, permutation groups, words in abstract generators and words in solvable groups.

To get started with GAP, consult the manual in the Center library. The man page directs users to a dvi version of this manual. To start the program, type `gap` at the command line. (Note: to exit the program, type `quit;` -- the semicolon is not optional.) For more online information, consult the GAP homepage, which contains, among other things, a delightful gap analysis of Rubik's cube.

## Magma

Magma is a programming language designed for the investigation of algebraic and combinatorial structures, together with a vast collection of library functions and databases for implementing standard algebraic operations. Historically, Magma is essentially a superset of Cayley, with greatly expanded capability for general algebraic objects.

Magma is only available on `bers`, `hypatia`, `godel` and `leibniz`. To start the program, simply type `magma` at the command prompt. Some of the voluminous documentation is printed out in the Center library. The man page gives an extended overview, as well as indicating the location of dvi files for the full documentation. Online information is also available.

Up: mathematical computation