GAP Packages
[Accepted packages]
[Deposited packages]
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 76 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.
This page lists current versions of GAP packages
redistributed with GAP, and the page
Manuals informs about presently
available package manuals.
If you are familiar with the previous GAP distributions,
note that now we do not distribute a merged archive of all currently
redistributed packages. All these packages are now included in the same
archive with the core GAP system, adding a significant
amount of functionality. Dependencies between packages are illustrated
by the following
graph.
Each package is also available in a single archive which may be used e.g.
for a later upgrading, though the recommented way to upgrade the system
is just to reinstall it as explained on the
upgrade page.
Also see 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 .
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 5.1 (22/01/2012) by G. Gamble, A. Hulpke, G. Havas, C. Ramsay
Advanced Coset Enumerator

Alnuth 3.0.0 (26/10/2011) by B. Assmann, A. Distler, B. Eick
Algebraic number theory and an interface to PARI/GP

ANUPQ 3.1.1 (19/11/2013) by G. Gamble, W. Nickel, E. O'Brien, M. Horn
ANU pQuotient

Automata 1.13 (19/11/2011) by M. Delgado, S. Linton, J. Morais
A package on automata

AutPGrp 1.6 (29/05/2012) by B. Eick, E. O'Brien
Computing the Automorphism Group of a pGroup

Carat 2.1.4 (29/05/2012) by F. Gähler
Interface to CARAT, a crystallographic groups package

Circle 1.5.2 (01/02/2013) by A. Konovalov, P. Soules
Adjoint groups of finite rings

cohomolo 1.6 (23/06/2008) by D. Holt
Cohomology groups of finite groups on finite modules

Congruence 1.1.1 (28/10/2014) by A. Dooms, E. Jespers, A. Konovalov, H. Verrill
Congruence subgroups of SL(2,Integers)

CoReLG 1.02 (10/02/2014) by H. Dietrich, P. Faccin, W. A. de Graaf
computation with real Lie groups

Crime 1.4 (01/6/2011) by M. Bishop
A GAP Package to Calculate Group Cohomology and Massey Products

CRISP 1.3.8 (18/02/2014) by B. Höfling
Computing with Radicals, Injectors, Schunck classes and Projectors

Cryst 4.1.12 (10/10/2013) by B. Eick, F. Gähler, W. Nickel
Computing with crystallographic groups

Cubefree 1.13 (10/12/2012) by H. Dietrich
Constructing the Groups of a Given Cubefree Order

DESIGN 1.6 (23/11/2011) by L. H. Soicher
The Design Package for GAP

EDIM 1.3.2 (12/06/2013) by F. Lübeck
Elementary Divisors of Integer Matrices

FactInt 1.5.3 (16/06/2011) by S. Kohl
Advanced Methods for Factoring Integers

FGA 1.2.0 (20/11/2012) by C. Sievers
Free Group Algorithms

FORMAT 1.3 (05/26/2012) by B. Eick, C. R. Wright
Computing with formations of finite solvable groups.

Forms 1.2.2 (29/08/2011) by J. Bamberg, J. De Beule
Sesquilinear and Quadratic

FPLSA 1.1 (17/11/2003) by V. Gerdt, V. Kornyak
Finitely Presented Lie Algebras

GAPDoc 1.5.1 (23/02/2012) by F. Lübeck, M. Neunhöffer
A Meta Package for GAP Documentation

GBNP 1.0.1 (12/05/2010) by A. Cohen, J. Knopper
computing Gröbner bases of noncommutative polynomials

GRAPE 4.6.1 (17/05/2012) by L. H. Soicher
GRaph Algorithms using PErmutation groups

GrpConst 2.3 (29/05/2012) by H. U. Besche, B. Eick
Constructing the Groups of a Given Order

GUAVA 3.12 (21/05/2012) 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 errorcorrecting codes

HAP 1.10.15 (07/12/2013) by G. Ellis
Homological Algebra Programming

hecke 1.4 (02/07/2013) by D. Traytel
Hecke  Specht 2.4 ported to GAP 4

IRREDSOL 1.2.4 (18/02/2014) by B. Höfling
A Library of irreducible solvable linear groups over finite fields and of finite primivite soluble groups

ITC 1.4 (06/01/2004) by V. Felsch, L. Hippe, J. Neubüser
Interactive ToddCoxeter

kbmag 1.5 (06/01/2009) by D. Holt
KnuthBendix on Monoids and Automatic Groups
 LAG  the functionality of this package is now included in the newer package LAGUNA

LAGUNA 3.7.0 (11/11/2014) by V. Bovdi, A. Konovalov, R. Rossmanith, C. Schneider
Lie AlGebras and UNits of group Algebras

liealgdb 2.1 (28/03/2010) by S. Cicalo', W. de Graaf, C. Schneider
A database of Lie algebras

LieRing 2.2 (11/12/2013) by S. Cicalo', W. A. de Graaf
finitely presented Lie rings

MapClass 1.2 (24/04/2012) by A. James, K. Magaard, S. Shpectorov, H. Volklein
A Package For Mapping Class Orbit Computation

ModIsom 2.3.2 (04/07/2014) by B. Eick, A. Konovalov
Computing automorphisms and checking isomorphisms for modular group algebras of finite pgroups

Nilmat 1.2 (10/08/2007) by A. Detinko, B. Eick, D. Flannery
Computing with nilpotent matrix groups

nq 2.5.1 (02/04/2014) by M. Horn, W. Nickel
Nilpotent Quotients of Finitely Presented Groups
 NQL  this package has been withdrawn by the author

OpenMath 11.2.0 (16/11/2013) by M. Costantini, A. Konovalov, M. Nicosia, A. Solomon
OpenMath functionality in GAP

ParGAP 1.4.0 (17/11/2013) by G. Cooperman, P. Smith, A. Konovalov
Parallel GAP

permut 1.01 (15/04/2014) by A. BallesterBolinches, E. CosmeLl\'opez, R. EstebanRomero, R. EstebanRomero
A package to deal with permutability in finite groups

Polenta 1.3.2 (01/04/2014) by B. Assmann, M. Horn
Polycyclic presentations for matrix groups

Polycyclic 2.11 (07/03/2013) by B. Eick, W. Nickel, M. Horn
Computation with polycyclic groups

QuaGroup 1.8 (16/08/2013) by W. A. de Graaf
a package for doing computations with quantum groups

RadiRoot 2.7 (09/04/2014) by A. Distler
Roots of a Polynomial as Radicals

RCWA 3.7.0 (21/07/2014) by S. Kohl
ResidueClassWise Affine Groups

RDS 1.6 (16/02/2012) by M. Roeder
A package for searching relative difference sets

Repsn 3.0.2 (25/08/2011) by V. Dabbaghian
A GAP4 Package for constructing representations of finite groups

SCSCP 2.1.4 (17/11/2013) by A. Konovalov, S. Linton
Symbolic Computation Software Composability Protocol in GAP

simpcomp 2.0.0 (12/12/2013) by F. Effenberger, J. Spreer
A GAP toolbox for simplicial complexes

SONATA 2.6 (07/11/2012) by E. Aichinger, F. Binder, J. Ecker, P. Mayr, C. Nöbauer
System of nearrings and their applications

Sophus 1.23 (03/02/2006) by C. Schneider
Computing in nilpotent Lie algebras

SymbCompCC 1.2 (19/11/2011) by D. Feichtenschlager
Computing with parametrised presentations for pgroups of fixed coclass

toric 1.8 (03/05/2012) by D. Joyner
toric varieties and some combinatorial geometry computations

UnitLib 3.2.0 (11/11/2014) by A. Konovalov, E. Yakimenko
Library of normalized unit groups of modular group algebras

Wedderga 4.7.1 (07/11/2014) by O. Broche Cristo, A. Herman, A. Konovalov, G. Olteanu, A. Olivieri, A. del Rio, I. Van Gelder
Wedderburn Decomposition of Group Algebras

XGAP 4.23 (30/04/2012) by F. Celler, M. Neunhoeffer
a graphical user interface for GAP

XMod 2.26 (26/11/2013) by C. D. Wensley, M. Alp
Crossed Modules and Cat1Groups
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 1.2 (29/05/2012) by K. Dekimpe, B. Eick
Almost Crystallographic Groups  A Library and Algorithms

AtlasRep 1.5.0 (12/07/2011) by R. A. Wilson, R. A. Parker, S. Nickerson, J. N. Bray, T. Breuer
A GAP Interface to the Atlas of Group Representations

CrystCat 1.1.6 (29/05/2012) by V. Felsch, F. Gähler
The crystallographic groups catalog

CTblLib 1.2.2 (07/03/2013) by T. Breuer
The GAP Character Table Library

TomLib 1.2.4 (10/11/2013) by L. Naughton, G. Pfeiffer
The GAP Library of Tables of Marks
 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.

4ti2Interface 2013.09.20 (20/09/2013) by S. Gutsche
A link to 4ti2

AutomGrp 1.2.4 (27/01/2014) by Y. Muntyan, D. Savchuk
Automata groups

AutoDoc 2014.08.21 (21/08/2014) by S. Gutsche, M. Horn
Generate documentation from GAP source code

Browse 1.8.6 (15/08/2014) by T. Breuer, F. Lübeck
browsing applications and ncurses interface
 Citrus  this package has been renamed to Semigroups

Convex 2012.11.15 (15/11/2012) by S. Gutsche
A package for fan combinatorics

cvec 2.5.3 (08/11/2014) by M. Neunhöffer, M. Horn
Compact vectors over finite fields

Example 3.4.5 (28/10/2014) by W. Nickel, G. Gamble, A. Konovalov
Example/Template of a GAP Package and Guidelines for Package Authors

Float 0.6.2 (29/08/2014) by L. Bartholdi
Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP

FR 2.1.1 (09/01/2014) by L. Bartholdi
Computations with functionally recursive groups

fwtree 1.0 (23/04/2009) by B. Eick, T. Rossmann
Computing trees related to some propgroups of finite width

Gauss 2013.06.26 (26/06/2013) by S. Goertzen, M. Barakat, S. Gutsche
Extended Gauss functionality for GAP

genss 1.6.2 (24/09/2014) by M. Neunhöffer, F. Noeske, M. Horn
Generic SchreierSims

gpd 1.22 (20/11/2013) by E. J. Moore, C. D. Wensley
Groupoids, graphs of groups, and graphs of groupoids

Guarana 0.94 (27/04/2012) by B. Assmann, J. McDermott
Applications of Lie methods for computations with infinite polycyclic groups

HAPcryst 0.1.11 (27/10/2013) by M. Roeder
A HAP extension for crytallographic groups

HAPprime 0.6 (09/06/2011) by P. Smith, The CHA Group
a HAP extension for small prime power groups

homalg 2014.09.14 (14/09/2014) by M. Barakat, S. Gutsche, M. LangeHegermann
A homological algebra metapackage for computable Abelian categories

ExamplesForHomalg 2013.07.05 (05/07/2013) by M. Barakat, S. Görtzen, M. LangeHegermann
Examples for the GAP Package homalg

GaussForHomalg 2013.09.20 (20/09/2013) by S. Goertzen, M. Barakat
Gauss functionality for the homalg project

GradedModules 2014.09.17 (17/09/2014) by M. Barakat, S. Gutsche, S. Jambor, M. LangeHegermann, A. Lorenz, O. Motsak
A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings

GradedRingForHomalg 2014.08.27 (27/08/2014) by M. Barakat, S. Gutsche, M. Kirschmer, S. Jambor, M. LangeHegermann, D. Robertz
Endow Commutative Rings with an Abelian Grading

HomalgToCAS 2013.08.07 (07/08/2013) by T. Bächler, M. Barakat, T. Breuer, S. Görtzen, S. Gutsche, F. Lübeck, V. Wagh
A window to the outer world

IO_ForHomalg 2012.10.24 (24/10/2012) by T. Bächler, M. Barakat, S. Gutsche, M. Neunhöffer, D. Robertz
IO capabilities for the homalg project

LocalizeRingForHomalg 2014.08.27 (27/08/2014) by M. Barakat, M. LangeHegermann, V. Wagh
A Package for Localization of Polynomial Rings

MatricesForHomalg 2014.08.26 (26/08/2014) by M. Barakat, M. LangeHegermann, M. Leuner, V. Wagh
Matrices for the homalg project

Modules 2014.07.02 (02/07/2014) by T. Bächler, M. Barakat, F. Diebold, S. Gutsche, M. LangeHegermann
A homalg based package for the Abelian category of finitely presented modules over computable rings

RingsForHomalg 2014.08.25 (25/08/2014) by M. Barakat, S. Goertzen, M. Kirschmer, M. LangeHegermann, O. Motsak, M. Neunhöffer, D. Robertz, H. Schönemann, A. Steenpaß, V. Wagh
Dictionaries of external rings

SCO 2011.08.11 (11/08/2011) by S. Görtzen, M. Barakat
SCO  Simplicial Cohomology of Orbifolds

ToolsForHomalg 2014.04.10 (10/04/2014) by M. Barakat, S. Gutsche, M. LangeHegermann
Special methods and knowledge propagation tools

ToricVarieties 2012.12.22 (22/12/2012) by S. Gutsche
A package to handle toric varieties

idrel 2.14 (11/01/2013) by A. Heyworth, C. D. Wensley
Identities among relations
 if  this package has been withdrawn; a better
functionality is now included in the newer package SCSCP

IntPic 0.1.0 (05/07/2013) by M. Delgado
A package for drawing integers

IO 4.4.4 (10/11/2014) by M. Neunhöffer, M. Horn
Bindings for low level C library I/O routines

kan 1.07 (16/10/2013) by A. Heyworth, C. D. Wensley
including double coset rewriting systems

LiePRing 1.6 (08/11/2013) by M. VaughanLee, B. Eick
Database and algorithms for Lie prings

linboxing 0.5.2 (19/05/2011) by P. Smith
access to LinBox linear algebra functions from GAP

loops 2.2.0 (28/06/2012) by G. Nagy, P. Vojtechovsky
Computing with quasigroups and loops in GAP
 MONOID  the functionality of this package is now included in
the newer package Semigroups

NumericalSgps 0.980 (17/06/2013) by M. Delgado, P. A. GarciaSanchez, J. Morais
A package for numerical semigroups

orb 4.7.3 (08/11/2014) by J. Mueller, M. Neunhöffer, F. Noeske, M. Horn
Methods to enumerate Orbits

PolymakeInterface 2013.03.06 (06/03/2013) by T. Baechler, S. Gutsche
A package to provide algorithms for fans and cones of polymake to other packages

polymaking 0.8.1 (16/11/2013) by M. Roeder
Interfacing the geometry software polymake

qaos main1.0.28 (20/01/2008) by S. Freundt, S. Pauli
Interfacing the QaoS database from GAP

ResClasses 3.4.0 (21/07/2014) by S. Kohl
SetTheoretic Computations with Residue Classes

recog 1.2.3 (24/09/2014) by M. Neunhöffer, Á. Seress, N. Ankaralioglu, P. Brooksbank, F. Celler, S. Howe, M. Law, S. Linton, G. Malle, A. Niemeyer, E. O'Brien, C. M. RoneyDougal, M. Horn
A collection of group recognition methods

recogbase 1.2.3 (24/09/2014) by M. Neunhöffer, Á. Seress, M. Horn
A framework for group recognition

Semigroups 2.1.1 (09/09/2014) by J. D. Mitchell, M. Delgado, J. East, A. EgriNagy, J. Jonusas, M. Pfeiffer, B. Steinberg, J. Smith, M. Torpey, W. Wilson
Methods for Semigroups

SgpViz 0.998 (31/05/2008) by M. Delgado, J. Morais
A package for semigroup visualization

singular 12.04.28 (28/04/2012) by M. Costantini, W. de Graaf
The GAP interface to Singular

SLA 0.14 (22/11/2013) by W. A. de Graaf
a package for doing computations with simple Lie algebras

Smallsemi 0.6.8 (24/02/2014) by A. Distler, J. Mitchell
A library of small semigroups

SpinSym 1.5 (01/02/2013) by L. Maas
Brauer tables of spinsymmetric groups

unipot 1.2 (16/11/2004) by S. Haller
Computing with elements of unipotent subgroups of Chevalley groups
