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

[HOME] The Geometry Center Home Page

Comments to: webmaster@geom.umn.edu
Created: Fri Sep 8 11:39:00 1995 --- Last modified: Jun 18 1996