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

*The Geometry Center Home Page*
Comments to:
webmaster@geom.umn.edu

Created: Fri Sep 8 11:39:00 1995 ---
Last modified: Jun 18 1996