GAP Packages

See also Data Libraries, Deposited Contributions, and Undeposited Implementations, as well as the list of (individually authored and/or maintained) 'Modules', into which a large part of the GAP library is divided .

The page Manuals informs about presently available package manuals.

Since 1992, sets of user contributed programs, called packages, have been distributed with GAP. For convenience of the GAP users, the GAP Group redistributes packages, but the package authors remain responsible for their maintenance.

There is a designated and documented mechanism for loading packages into GAP including a smooth integration of the documentation into the GAP help system. (See this page for hints how to write your own package and the reference manual chapter 74 about installing and loading packages.)

Some packages represent a piece of work equivalent to a sizeable mathematical publication. To acknowledge such work there has been a refereeing process for packages since 1996. See Submitting Contributions to GAP for more information on this. We call a package an accepted package (with GAP 3 the term share packages was used) when it was succesfully refereed or already distributed with GAP before the refereeing process was started. All other packages distributed here and not in this category are called deposited packages, these may be submitted for refereeing or the authors may not want to submit them for various reasons.

Combined Archive of All Currently Distributed Packages

The packages which are redistributed via this site are available in a merged archive for initial installation of GAP and these packages. And each package is also available in a single archive for later installation or upgrading. The GAP Group recommends to install all these packages together with the core GAP system, they add a significant amount of functionality. The graph illustrates dependencies between the packages.

Combined archive of all packages below: packages-2010_07_23-13_14_UTC[.zoo (127MB)] [.tar.gz (110MB)] [.tar.bz2 (100MB)] [-win.zip (126MB)]

Accepted Packages

Here is the current list of accepted packages. They are either redistributed by the GAP Group since before the refereeing process was setup, or they have been successfully refereed. The packages are sorted alphabetically, except for some data library packages, given in a separate list.

Follow the links to find brief descriptions of each package, as well as further information including download and installation instructions.

ACE by G. Gamble, A. Hulpke, G. Havas, C. Ramsay
Advanced Coset Enumerator
Alnuth by B. Assmann, A. Distler, B. Eick
Algebraic number theory and an interface to KANT
ANUPQ by G. Gamble, W. Nickel, E. O'Brien
ANU p-Quotient
Automata by M. Delgado, S. Linton, J. Morais
A package on automata
AutPGrp by B. Eick, E. O'Brien
Computing the Automorphism Group of a p-Group
Carat by F. Gähler
Interface to CARAT, a crystallographic groups package
Circle by A. Konovalov, P. Soules
Adjoint groups of finite rings
cohomolo by D. Holt
Cohomology groups of finite groups on finite modules
Crime by M. Bishop
A GAP Package to Calculate Group Cohomology and Massey Products
CRISP by B. Hoefling
Computing with Radicals, Injectors, Schunck classes and Projectors
Cryst by B. Eick, F. Gähler, W. Nickel
Computing with crystallographic groups
Cubefree by H. Dietrich
Constructing the Groups of a Given Cubefree Order
DESIGN by L. H. Soicher
The Design Package for GAP
EDIM by F. Lübeck
Elementary Divisors of Integer Matrices
FactInt by S. Kohl
Advanced Methods for Factoring Integers
FGA by C. Sievers
Free Group Algorithms
FORMAT by B. Eick, C. R. Wright
Computing with formations of finite solvable groups.
Forms by J. Bamberg, J. De Beule
Sesquilinear and Quadratic
FPLSA by V. Gerdt, V. Kornyak
Finitely Presented Lie Algebras
FR by L. Bartholdi
Computations with functionally recursive groups
GAPDoc by F. Lübeck, M. Neunhöffer
A Meta Package for GAP Documentation
GBNP by A. Cohen, J. Knopper
computing Gröbner bases of noncommutative polynomials
GRAPE by L. H. Soicher
GRaph Algorithms using PErmutation groups
GrpConst by H. U. Besche, B. Eick
Constructing the Groups of a Given Order
GUAVA by R. Baart, T. Boothby, J. Cramwinckel, J. Fields, D. Joyner, R. Miller, E. Minkes, E. Roijackers, L. Ruscio, C. Tjhai
a GAP package for computing with error-correcting codes
HAP by G. Ellis
Homological Algebra Programming
IRREDSOL by B. Hoefling
A Library of irreducible solvable linear groups over finite fields
ITC by V. Felsch, L. Hippe, J. Neubüser
Interactive Todd-Coxeter
kbmag by D. Holt
Knuth-Bendix on Monoids and Automatic Groups
LAG - the functionality of this package is now included in the newer package LAGUNA
LAGUNA by V. Bovdi, A. Konovalov, R. Rossmanith, C. Schneider
Lie AlGebras and UNits of group Algebras
liealgdb by W. de Graaf, C. Schneider
A database of Lie algebras
Nilmat by A. Detinko, B. Eick, D. Flannery
Computing with nilpotent matrix groups
nq by W. Nickel
Nilpotent Quotients of Finitely Presented Groups
NQL by R. Hartung
Nilpotent Quotients of L-Presented Groups
ParGAP by G. Cooperman
Parallel GAP
Polenta by B. Assmann
Polycyclic presentations for matrix groups
Polycyclic by B. Eick, W. Nickel
Computation with polycyclic groups
QuaGroup by W. A. de Graaf
a package for doing computations with quantum groups
RadiRoot by A. Distler
Roots of a Polynomial as Radicals
RCWA by S. Kohl
Residue-Class-Wise Affine Groups
RDS by M. Roeder
A package for searching relative difference sets
Repsn by V. Dabbaghian
A GAP4 Package for constructing representations of finite groups
SONATA by E. Aichinger, F. Binder, J. Ecker, P. Mayr, C. Nöbauer
System of nearrings and their applications
Sophus by C. Schneider
Computing in nilpotent Lie algebras
toric by D. Joyner
toric varieties and some combinatorial geometry computations
UnitLib by A. Konovalov, E. Yakimenko
Library of normalized unit groups of modular group algebras
Wedderga by O. Broche Cristo, A. Konovalov, G. Olteanu, A. Olivieri, A. del Rio
Wedderburn Decomposition of Group Algebras
XGAP by F. Celler, M. Neunhöffer
a graphical user interface for GAP
XMod by C. D. Wensley, M. Alp
Crossed Modules and Cat1-Groups

The following packages mainly contain and/or provide access to data libraries. These are either refereed and accepted packages or they were a part of the GAP library which is now separated into a package.

AClib by K. Dekimpe, B. Eick
Almost Crystallographic Groups - A Library and Algorithms
AtlasRep by R. A. Wilson, R. A. Parker, S. Nickerson, J. N. Bray, T. Breuer
A GAP Interface to the Atlas of Group Representations
CrystCat by V. Felsch, F. Gähler
The crystallographic groups catalog
CTblLib by T. Breuer
The GAP Character Table Library
Table of Marks by Götz Pfeiffer
Table of Marks Library
SmallGroups by H. U. Besche, B. Eick, and E. A. O'Brien
The SmallGroups Library - a library of groups of small order

Deposited Packages

Some of the following packages may be refereed and moved into the section on accepted packages later, others will not be submitted for refereeing.

AutomGrp by Y. Muntyan, D. Savchuk
Automata groups
Browse by T. Breuer, F. Lübeck
ncurses interface and browsing applications
Example by W. Nickel, G. Gamble
A Demo for Package Authors
fwtree by B. Eick, T. Rossmann
Computing trees related to some pro-p-groups of finite width
genss by M. Neunhoeffer, F. Noeske
genss - generic Schreier-Sims
gpd by E. J. Moore, C. D. Wensley
Groupoids, graphs of groups, and graphs of groupoids
Guarana by B. Assmann
Applications of Lie methods for computations with infinite polycyclic groups
HAPcryst by M. Roeder
A HAP extension for crytallographic groups
HAPprime by P. Smith
a HAP extension for small prime power groups
homalg by M. Barakat
A Meta-Package for Homological Algebra
- ExamplesForHomalg by M. Barakat, S. Görtzen, M. Lange-Hegermann
  Examples for the GAP Package homalg
- Gauss by S. Goertzen, M. Barakat
  Gauss - Extended Gauss Functionality for GAP
- GaussForHomalg by S. Goertzen, M. Barakat
  GaussForHomalg - Gauss Functionality for homalg
- HomalgToCAS by M. Barakat, T. Breuer, S. Görtzen, F. Lübeck
  A window to the outer world
- IO_ForHomalg by T. Bächler, M. Barakat, M. Neunhöffer, D. Robertz
  IO Capabilities for the homalg Project
- MatricesForHomalg by M. Barakat
  Matrices for the homalg Project
- RingsForHomalg by M. Barakat, S. Goertzen, M. Kirschmer, M. Lange-Hegermann, O. Motsak, M. Neunhöffer, D. Robertz, H. Schönemann
  Dictionaries of External Rings
- SCO by S. Görtzen, M. Barakat
  SCO - Simplicial Cohomology of Orbifolds
idrel by A. Heyworth, C. D. Wensley
Identities among relations
if by M. Costantini
The GAP InterFace to other Computer Algebra Systems
IO by M. Neunhoeffer
Bindings for low level C library IO
kan by A. Heyworth, C. D. Wensley
including double coset rewriting systems
linboxing by P. Smith
access to LinBox linear algebra functions from GAP
loops by G. Nagy, P. Vojtechovsky
Computing with quasigroups and loops in GAP
MONOID by J. Mitchell
Computing with transformation semigroups and monoids
NumericalSgps by M. Delgado, P. A. Garcia-Sanchez, J. Morais
A package for numerical semigroups
OpenMath by M. Costantini, A. Konovalov, A. Solomon
OpenMath functionality in GAP
orb by J. Mueller, M. Neunhoeffer, F. Noeske
orb - Methods to enumerate Orbits
polymaking by M. Roeder
Interfacing the geometry software polymake
qaos by S. Freundt, S. Pauli
Interfacing the QaoS database from GAP
ResClasses by S. Kohl
Set-Theoretic Computations with Residue Classes
recog by M. Neunhoeffer, A. Seress, P. Brooksbank, F. Celler, S. Howe, M. Law, S. Linton, G. Malle, A. Niemeyer, E. O'Brien, C. M. Roney-Dougal
A collection of group recognition methods
recogbase by M. Neunhoeffer, A. Seress
A framework for group recognition
SCSCP by A. Konovalov, S. Linton
Symbolic Computation Software Composability Protocol in GAP
simpcomp by F. Effenberger, J. Spreer
A GAP toolbox for simplicial complexes
singular by M. Costantini, W. de Graaf
The GAP interface to Singular
SgpViz by M. Delgado, J. Morais
A package for semigroup visualization
Smallsemi by A. Distler, J. Mitchell
A library of small semigroups
unipot by S. Haller
Computing with elements of unipotent subgroups of Chevalley groups