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.0 (24/01/2006) by G. Gamble, W. Nickel, E. O'Brien
  ANU p-Quotient
• Automata  1.13 (19/11/2011) by M. Delgado, S. Linton, J. Morais
  A package on automata
• AutPGrp  1.5 (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
• Crime  1.4 (01/6/2011) by M. Bishop
  A GAP Package to Calculate Group Cohomology and Massey Products
• CRISP  1.3.6 (13/03/2013) by B. Höfling
  Computing with Radicals, Injectors, Schunck classes and Projectors
• Cryst  4.1.11 (10/01/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.1 (01/05/2012) 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
• FR  2.0.3 (23/01/2013) by L. Bartholdi
  Computations with functionally recursive groups
• 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.10.2 (05/03/2013) by G. Ellis
  Homological Algebra Programming
• hecke  1.3 (14/01/2011) by D. Traytel
  Hecke - Specht 2.4 ported to GAP 4
• IRREDSOL  1.2.1 (22/11/2011) 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.6.3 (01/02/2013) 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
• MapClass  1.2 (24/04/2012) by A. James, K. Magaard, S. Shpectorov, H. Volklein
  A Package For Mapping Class Orbit Computation
• Nilmat  1.2 (10/08/2007) by A. Detinko, B. Eick, D. Flannery
  Computing with nilpotent matrix groups
• nq  2.4 (12/01/2012) by M. Horn, W. Nickel
  Nilpotent Quotients of Finitely Presented Groups
• NQL  - this package has been withdrawn by the author
• OpenMath  11.1.4 (27/03/2013) by M. Costantini, A. Konovalov, M. Nicosia, A. Solomon
  OpenMath functionality in GAP
• ParGAP  1.3.5 (01/06/2012) by G. Cooperman, P. Smith
  Parallel GAP
• Polenta  1.3.1 (01/06/2012) 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.6 (13/02/2012) by W. A. de Graaf
  a package for doing computations with quantum groups
• RadiRoot  2.6 (04/11/2011) by A. Distler
  Roots of a Polynomial as Radicals
• RCWA  3.5.1 (30/12/2012) 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.2 (31/05/2012) by A. Konovalov, S. Linton
  Symbolic Computation Software Composability Protocol in GAP
• 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.1.3 (01/02/2013) by A. Konovalov, E. Yakimenko
  Library of normalized unit groups of modular group algebras
• Wedderga  4.5.4 (28/03/2013) by O. Broche Cristo, 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.22 (25/01/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.2 (30/09/2011) 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.

• AutomGrp  1.1.4.1 (19/09/2008) by Y. Muntyan, D. Savchuk
  Automata groups
• AutoDoc  2013.01.16 (16/01/2013) by S. Gutsche, M. Horn
  Tools for generating automatic GAPDoc documentations
• Browse  1.8.2 (13/07/2012) by T. Breuer, F. Lübeck
  browsing applications and ncurses interface
• Citrus  0.9999 (06/07/2012) by J. D. Mitchell
  Computing with Semigroups of Transformations and Partial Permutations
• Congruence  1.0.3 (01/02/2013) by A. Dooms, E. Jespers, A. Konovalov, H. Verrill
  Congruence subgroups of SL(2,Integers)
• Convex  2012.11.15 (15/11/2012) by S. Gutsche
  A package for fan combinatorics
• cvec  2.4 (14/09/2012) by M. Neunhoeffer
  Compact vectors over finite fields
• Example  3.4.3 (27/03/2013) by W. Nickel, G. Gamble, A. Konovalov
  Example/Template of a GAP Package and Guidelines for Package Authors
• Float  0.5.9 (17/03/2013) by L. Bartholdi
  Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP
• fwtree  1.0 (23/04/2009) by B. Eick, T. Rossmann
  Computing trees related to some pro-p-groups of finite width
• Gauss  2013.03.07 (07/03/2013) by S. Goertzen, M. Barakat, S. Gutsche
  Gauss - Extended Gauss Functionality for GAP
• genss  1.5 (31/05/2012) by M. Neunhoeffer, F. Noeske
  genss - generic Schreier-Sims
• gpd  1.19 (11/03/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.10 (19/04/2012) 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  2012.10.28 (28/10/2012) by M. Barakat, S. Gutsche, M. Lange-Hegermann
  A homological algebra meta-package for computable Abelian categories
  • ExamplesForHomalg  2012.10.23 (23/10/2012) by M. Barakat, S. Görtzen, M. Lange-Hegermann
    Examples for the GAP Package homalg
  • GaussForHomalg  2012.10.22 (22/10/2012) by S. Goertzen, M. Barakat
    GaussForHomalg - Gauss Functionality for homalg
  • GradedModules  2013.02.07 (07/02/2013) 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 a computable graded ring
  • GradedRingForHomalg  2013.02.07 (07/02/2013) by M. Barakat, S. Gutsche, M. Kirschmer, S. Jambor, M. Lange-Hegermann, D. Robertz
    Endow Commutative Rings with an Abelian Grading
  • HomalgToCAS  2013.02.22 (22/02/2013) by M. Barakat, T. Breuer, S. Görtzen, S. Gutsche, F. Lübeck
    A window to the outer world
  • IO_ForHomalg  2012.10.22 (22/10/2012) by T. Bächler, M. Barakat, S. Gutsche, M. Neunhöffer, D. Robertz
    IO Capabilities for the homalg Project
  • LocalizeRingForHomalg  2012.10.26 (26/10/2012) by M. Barakat, M. Lange-Hegermann
    A Package for Localization of Polynomial Rings
  • MatricesForHomalg  2013.04.16 (16/04/2013) by M. Barakat, M. Lange-Hegermann
    Matrices for the homalg project
  • Modules  2013.04.19 (19/04/2013) 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  2013.04.19 (19/04/2013) by M. Barakat, S. Goertzen, M. Kirschmer, M. Lange-Hegermann, O. Motsak, M. Neunhöffer, D. Robertz, H. Schönemann, A. Steenpaß
    Dictionaries of external rings
  • SCO  2011.08.11 (11/08/2011) by S. Görtzen, M. Barakat
    SCO - Simplicial Cohomology of Orbifolds
  • ToolsForHomalg  2013.04.16 (16/04/2013) 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
• IO  4.2 (28/05/2012) by M. Neunhoeffer
  Bindings for low level C library IO
• kan  1.06 (07/01/2013) by A. Heyworth, C. D. Wensley
  including double coset rewriting systems
• 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 Citrus
• NumericalSgps  0.971 (01/12/2011) by M. Delgado, P. A. Garcia-Sanchez, J. Morais
  A package for numerical semigroups
• orb  4.6 (02/05/2013) by J. Mueller, M. Neunhoeffer, F. Noeske
  orb - 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.7.8 (03/06/2010) 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.3.0 (12/12/2012) by S. Kohl
  Set-Theoretic Computations with Residue Classes
• recog  1.2 (28/05/2011) by M. Neunhoeffer, A. Seress, N. Ankaralioglu, 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  1.2 (28/05/2012) by M. Neunhoeffer, A. Seress
  A framework for group recognition
• simpcomp  1.6.1 (31/01/2013) by F. Effenberger, J. Spreer
  A GAP toolbox for simplicial complexes
• singular  12.04.28 (28/04/2012) by M. Costantini, W. de Graaf
  The GAP interface to Singular
• SgpViz  0.998 (31/05/2008) by M. Delgado, J. Morais
  A package for semigroup visualization
• Smallsemi  0.6.6 (24/04/2013) 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