GAP Packages
There are 166 packages that are shipped with GAP 4.15.0. Note that newer versions might be available on the package websites.
Name | Version | Date | Subtitle | |
---|---|---|---|---|
4ti2Interface | 2024.11-01 | 2024-11-23 | A link to 4ti2 | |
ACE | 5.7.0 | 10/04/2025 | Advanced Coset Enumerator | |
AClib | 1.3.3 | 28/08/2025 | Almost Crystallographic Groups - A Library and Algorithms | |
AGT | 0.3.1 | 31/12/2022 | Algebraic Graph Theory | |
ALCO | 1.1.2 | 05/09/2025 | Tools for algebraic combinatorics | |
Alnuth | 3.2.1 | 05/04/2022 | Algebraic number theory and an interface to PARI/GP | |
ANUPQ | 3.3.2 | 28/08/2025 | ANU p-Quotient | |
AtlasRep | 2.1.9 | 27/08/2024 | A GAP Interface to the Atlas of Group Representations | |
AutoDoc | 2025.05.09 | 09/05/2025 | Generate documentation from GAP source code | |
Automata | 1.16 | 30/08/2024 | A package on automata | |
AutomGrp | 1.3.3 | 08/01/2025 | Automata groups | |
AutPGrp | 1.11.1 | 10/04/2024 | Computing the Automorphism Group of a p-Group | |
Browse | 1.8.21 | 01/03/2023 | browsing applications and ncurses interface | |
CAP | 2025.09-04 | 2025-09-22 | Categories, Algorithms, Programming | |
CaratInterface | 2.3.7 | 16/10/2024 | Interface to CARAT, a crystallographic groups package | |
CddInterface | 2025.06.24 | 24/06/2025 | Gap interface to Cdd package | |
Circle | 1.6.6 | 25/02/2023 | Adjoint groups of finite rings | |
classicpres | 1.22 | 06/05/2022 | Classical Group Presentations | |
cohomolo | 1.6.11 | 03/01/2023 | Cohomology groups of finite groups on finite modules | |
Congruence | 1.2.7 | 28/08/2024 | Congruence subgroups of SL(2,Integers) | |
corefreesub | 0.6 | 11/03/2024 | A GAP Package for calculating the core-free subgroups and their faithful transitive permutation representations | |
CoReLG | 1.57 | 07/07/2024 | Computing with real Lie algebras | |
CRIME | 1.6 | 17/03/2022 | A GAP Package to Calculate Group Cohomology and Massey Products | |
CRISP | 1.4.8 | 14/08/2025 | Computing with Radicals, Injectors, Schunck classes and Projectors | |
crypting | 0.10.6 | 20/06/2025 | Hashes and Crypto in GAP | |
Cryst | 4.1.30 | 22/09/2025 | Computing with crystallographic groups | |
CrystCat | 1.1.10 | 29/07/2022 | The crystallographic groups catalog | |
CTblLib | 1.3.11 | 2025-05-25 | The GAP Character Table Library | |
Cubefree | 1.21 | 29/08/2025 | Constructing the Groups of a Given Cubefree Order | |
curlInterface | 2.4.2 | 20/06/2025 | Simple Web Access | |
cvec | 2.8.4 | 20/06/2025 | Compact vectors over finite fields | |
datastructures | 0.3.3 | 21/06/2025 | Collection of standard data structures for GAP | |
DeepThought | 1.0.9 | 20/06/2025 | This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm. | |
DESIGN | 1.8.2 | 02/11/2024 | The Design Package for GAP | |
DifSets | 2.3.1 | 14/09/2019 | an algorithm for enumerating all difference sets in a group | |
Digraphs | 1.13.1 | 27/09/2025 | Graphs, digraphs, and multidigraphs in GAP | |
EDIM | 1.3.8 | 21/02/2024 | Elementary Divisors of Integer Matrices | |
Example | 4.4.1 | 2025-06-20 | Example/Template of a GAP Package | |
ExamplesForHomalg | 2023.10-01 | 2023-10-05 | Examples for the GAP Package homalg | |
FactInt | 1.6.3 | 15/11/2019 | Advanced Methods for Factoring Integers | |
ferret | 1.0.15 | 11/09/2025 | Backtrack Search in Permutation Groups | |
FGA | 1.5.0 | 04/04/2023 | Free Group Algorithms | |
FinInG | 1.5.6 | 27/07/2023 | Finite Incidence Geometry | |
float | 1.0.9 | 26/08/2025 | Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP | |
FORMAT | 1.4.4 | 09/01/2024 | Computing with formations of finite solvable groups. | |
Forms | 1.2.13 | 05/05/2025 | Sesquilinear and Quadratic | |
FPLSA | 1.2.7 | 29/08/2025 | Finitely Presented Lie Algebras | |
FR | 2.4.13 | 11/01/2024 | Computations with functionally recursive groups | |
francy | 2.0.3 | 16/04/2023 | Framework for Interactive Discrete Mathematics | |
fwtree | 1.3 | 28/01/2020 | Computing trees related to some pro-p-groups of finite width | |
GAPDoc | 1.6.7 | 21/02/2024 | A Meta Package for GAP Documentation | |
Gauss | 2024.11-01 | 2024-12-03 | Extended Gauss functionality for GAP | |
GaussForHomalg | 2024.08-01 | 2024-08-22 | Gauss functionality for the homalg project | |
GBNP | 1.1.0 | 29/08/2024 | computing Gröbner bases of noncommutative polynomials | |
GeneralizedMorphismsForCAP | 2025.08-01 | 2025-08-25 | Implementations of generalized morphisms for the CAP project | |
genss | 1.6.9 | 29/07/2024 | Generic Schreier-Sims | |
GradedModules | 2024.12-01 | 2024-12-22 | A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings | |
GradedRingForHomalg | 2024.07-01 | 2024-07-09 | Endow Commutative Rings with an Abelian Grading | |
GRAPE | 4.9.3 | 06/09/2025 | GRaph Algorithms using PErmutation groups | |
groupoids | 1.79 | 11/09/2025 | Calculations with finite groupoids and their homomorphisms | |
GrpConst | 2.6.5 | 22/01/2024 | Constructing the Groups of a Given Order | |
Guarana | 0.96.3 | 11/02/2022 | Applications of Lie methods for computations with infinite polycyclic groups | |
GUAVA | 3.20 | 01/02/2025 | a GAP package for computing with error-correcting codes | |
HAP | 1.70 | 19/07/2025 | Homological Algebra Programming | |
HAPcryst | 0.1.15 | 26/07/2022 | A HAP extension for crystallographic groups | |
hecke | 1.5.4 | 27/08/2024 | Calculating decomposition matrices of Hecke algebras | |
HeLP | 4.0 | 29/02/2024 | Hertweck-Luthar-Passi method. | |
homalg | 2024.01-01 | 2024-01-10 | A homological algebra meta-package for computable Abelian categories | |
HomalgToCAS | 2025.08-01 | 2025-09-06 | A window to the outer world | |
IBNP | 0.17 | 11/09/2025 | Involutive Bases for Noncommutative Polynomials | |
idrel | 2.48 | 27/08/2024 | Identities among relations | |
images | 1.3.3 | 27/08/2024 | Minimal and Canonical images | |
InduceReduce | 1.1 | 16/07/2025 | Unger’s algorithm to compute character tables of finite groups | |
IntPic | 0.4.0 | 30/08/2024 | A package for drawing integers | |
IO | 4.9.3 | 21/06/2025 | Bindings for low level C library I/O routines | |
IO_ForHomalg | 2023.02-04 | 2023-02-28 | IO capabilities for the homalg project | |
IRREDSOL | 1.4.4 | 16/11/2022 | A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groups | |
ITC | 1.5.1 | 01/03/2022 | Interactive Todd-Coxeter | |
json | 2.2.3 | 21/06/2025 | Reading and Writing JSON | |
JupyterKernel | 1.5.1 | 07/07/2024 | Jupyter kernel written in GAP | |
JupyterViz | 1.5.6 | 16/08/2022 | Visualization Tools for Jupyter and the GAP REPL | |
kan | 1.37 | 23/01/2024 | including double coset rewriting systems | |
kbmag | 1.5.11 | 03/01/2023 | Knuth-Bendix on Monoids and Automatic Groups | |
LAGUNA | 3.9.7 | 01/07/2024 | Lie AlGebras and UNits of group Algebras | |
LieAlgDB | 2.3.0 | 24/09/2025 | A database of Lie algebras | |
LiePRing | 2.9.1 | 11/06/2024 | Database and algorithms for Lie p-rings | |
LieRing | 2.4.2 | 10/02/2022 | Computing with finitely presented Lie rings | |
LinearAlgebraForCAP | 2025.09-01 | 2025-09-17 | Category of Matrices over a Field for CAP | |
LINS | 0.9 | 15/03/2024 | provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound. | |
LocalizeRingForHomalg | 2023.10-01 | 2023-10-05 | A Package for Localization of Polynomial Rings | |
loops | 3.4.4 | 29/08/2024 | Computing with quasigroups and loops in GAP | |
lpres | 1.1.1 | 12/07/2024 | Nilpotent Quotients of L-Presented Groups | |
MajoranaAlgebras | 1.5.2 | 07/07/2024 | A package for constructing Majorana algebras and representations | |
MapClass | 1.4.6 | 17/09/2022 | A Package For Mapping Class Orbit Computation | |
matgrp | 0.72 | 25/08/2025 | Matric Group Interface Routines | |
MatricesForHomalg | 2025.09-01 | 2025-09-07 | Matrices for the homalg project | |
ModIsom | 3.0.0 | 23/09/2024 | Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups | |
ModulePresentationsForCAP | 2025.09-01 | 2025-09-22 | Category R-pres for CAP | |
Modules | 2024.12-01 | 2024-12-22 | A homalg based package for the Abelian category of finitely presented modules over computable rings | |
MonoidalCategories | 2025.08-02 | 2025-08-25 | Monoidal and monoidal (co)closed categories | |
NConvex | 2024.12-01 | 28/12/2024 | A Gap package to perform polyhedral computations | |
Nilmat | 1.4.2 | 05/08/2022 | Computing with nilpotent matrix groups | |
NoCK | 1.5 | 30/03/2022 | Computing obstruction for the existence of compact Clifford-Klein form | |
NormalizInterface | 1.4.1 | 20/06/2025 | GAP wrapper for Normaliz | |
nq | 2.5.11 | 12/01/2024 | Nilpotent Quotients of Finitely Presented Groups | |
NumericalSgps | 1.4.0 | 30/08/2024 | A package for numerical semigroups | |
OpenMath | 11.5.3 | 25/02/2023 | OpenMath functionality in GAP | |
orb | 5.0.1 | 20/06/2025 | Methods to enumerate orbits | |
PackageManager | 1.6.3 | 14/05/2025 | Easily download and install GAP packages | |
PatternClass | 2.4.5 | 30/08/2024 | A permutation pattern class package | |
permut | 2.0.5 | 11/01/2024 | A package to deal with permutability in finite groups | |
Polenta | 1.3.11 | 10/04/2025 | Polycyclic presentations for matrix groups | |
Polycyclic | 2.17 | 28/08/2025 | Computation with polycyclic groups | |
polymaking | 0.8.7 | 04/10/2023 | Interfacing the geometry software polymake | |
PrimGrp | 4.0.1 | 24/09/2025 | GAP Primitive Permutation Groups Library | |
profiling | 2.6.2 | 21/06/2025 | Line by line profiling and code coverage for GAP | |
QDistRnd | 0.9.5 | 20/11/2024 | Calculate the distance of a q-ary quantum stabilizer code | |
QPA | 1.35 | 04/01/2024 | Quivers and Path Algebras | |
QuaGroup | 1.8.4 | 11/01/2024 | Computations with quantum groups | |
RadiRoot | 2.9 | 01/03/2022 | Roots of a Polynomial as Radicals | |
RCWA | 4.8.0 | 22/09/2025 | Residue-Class-Wise Affine Groups | |
RDS | 1.9 | 24/09/2025 | A package for searching relative difference sets | |
recog | 1.4.4 | 22/01/2025 | A package for constructive recognition of permutation and matrix groups | |
RepnDecomp | 1.3.1 | 10/09/2025 | Decompose representations of finite groups into irreducibles | |
Repsn | 3.1.2 | 22/01/2024 | Constructing representations of finite groups | |
ResClasses | 4.7.4 | 24/09/2025 | Set-Theoretic Computations with Residue Classes | |
RingsForHomalg | 2024.11-02 | 2024-11-16 | Dictionaries of external rings | |
SCO | 2023.08-01 | 2023-08-23 | SCO - Simplicial Cohomology of Orbifolds | |
SCSCP | 2.4.4 | 27/08/2025 | Symbolic Computation Software Composability Protocol in GAP | |
Semigroups | 5.5.4 | 29/08/2025 | A package for semigroups and monoids | |
SglPPow | 2.4 | 20/03/2024 | Database of groups of prime-power order for some prime-powers | |
SgpViz | 0.999.6 | 30/08/2024 | A package for semigroup visualization | |
simpcomp | 2.1.14 | 15/03/2022 | A GAP toolbox for simplicial complexes | |
singular | 2025.08.26 | 26/08/2025 | A GAP interface to Singular | |
SL2Reps | 1.1 | 26/11/2022 | Constructing symmetric representations of SL(2,Z). | |
SLA | 1.6.2 | 12/07/2024 | Computing with simple Lie algebras | |
smallantimagmas | 0.5.1 | 26/09/2025 | A library of antiassociative magmas of small order | |
SmallClassNr | 1.4.1 | 13/09/2025 | Library of finite groups with small class number | |
SmallGrp | 1.5.4 | 04/07/2024 | The GAP Small Groups Library | |
Smallsemi | 0.7.2 | 25/02/2025 | A library of small semigroups | |
SONATA | 2.9.7 | 23/09/2025 | System of nearrings and their applications | |
Sophus | 1.27 | 09/08/2022 | Computing in nilpotent Lie algebras | |
SOTGrps | 1.3 | 29/08/2024 | Constructing and identifying groups of small order type | |
SpinSym | 1.5.2 | 01/10/2019 | Brauer tables of spin-symmetric groups | |
StandardFF | 1.0 | 13/09/2023 | Standard finite fields and cyclic generators | |
SymbCompCC | 1.3.2 | 10/02/2022 | Computing with parametrised presentations for p-groups of fixed coclass | |
Thelma | 1.3 | 03/03/2022 | THreshold ELements, Modeling and Applications | |
TomLib | 1.2.11 | 12/01/2024 | The GAP Library of Tables of Marks | |
ToolsForHomalg | 2025.05-01 | 2025-05-02 | Special methods and knowledge propagation tools | |
Toric | 1.9.6 | 04/07/2024 | toric varieties and some combinatorial geometry computations | |
TransGrp | 3.6.5 | 15/12/2023 | Transitive Groups Library | |
TwistedConjugacy | 3.1.0 | 14/09/2025 | Computation with twisted conjugacy classes | |
typeset | 1.2.3 | 03/07/2025 | Automatic typesetting framework for common GAP objects, with LaTeX generation | |
UGALY | 4.1.3 | 07/07/2023 | Universal Groups Acting LocallY | |
Unipot | 1.6 | 04/07/2024 | Computing with elements of unipotent subgroups of Chevalley groups | |
UnitLib | 5.0.0 | 12/06/2025 | Library of normalized unit groups of modular group algebras | |
utils | 0.92 | 11/09/2025 | Utility functions in GAP | |
uuid | 0.7 | 01/03/2022 | RFC 4122 UUIDs | |
walrus | 0.9991 | 21/02/2022 | A new approach to proving hyperbolicity | |
Wedderga | 4.11.1 | 07/07/2025 | Wedderburn Decomposition of Group Algebras | |
WPE | 0.8 | 21/10/2024 | Provides efficient methods for working with wreath product elements. | |
XGAP | 4.33 | 14/09/2025 | a graphical user interface for GAP | |
XMod | 2.95 | 10/07/2025 | Crossed Modules and Cat1-Groups | |
XModAlg | 1.32 | 11/04/2025 | Crossed Modules and Cat1-Algebras | |
YangBaxter | 0.10.7 | 14/07/2025 | Combinatorial Solutions for the Yang-Baxter equation | |
ZeroMQInterface | 0.17 | 20/06/2025 | ZeroMQ bindings for GAP | |
Name | Version | Date | Subtitle |
The table above is generated using the open source software Datatables. It requires JavaScript to enable all features and make all data available.