GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 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 p-Quotient
  • 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 p-Group
  • 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 error-correcting 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 Todd-Coxeter
  • kbmag  1.5 (06/01/2009) 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  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 p-groups
  • 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. Ballester-Bolinches, E. Cosme-Ll\'opez, R. Esteban-Romero, R. Esteban-Romero
    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
    Residue-Class-Wise 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 p-groups 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 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  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 pro-p-groups 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 Schreier-Sims
  • 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. Lange-Hegermann
    A homological algebra meta-package for computable Abelian categories
    • ExamplesForHomalg  2013.07.05 (05/07/2013) by M. Barakat, S. Görtzen, M. Lange-Hegermann
      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. Lange-Hegermann, 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. Lange-Hegermann, 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. Lange-Hegermann, V. Wagh
      A Package for Localization of Polynomial Rings
    • MatricesForHomalg  2014.08.26 (26/08/2014) by M. Barakat, M. Lange-Hegermann, 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. Lange-Hegermann
      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. Lange-Hegermann, 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. Lange-Hegermann
      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. Vaughan-Lee, B. Eick
    Database and algorithms for Lie p-rings
  • 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. Garcia-Sanchez, 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  main-1.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
    Set-Theoretic 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. Roney-Dougal, 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. Egri-Nagy, 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 spin-symmetric groups
  • unipot  1.2 (16/11/2004) by S. Haller
    Computing with elements of unipotent subgroups of Chevalley groups