Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.13.1

For an overview of changes in GAP 4.13.1 see file.

Linux and macOS

Download one of the gap-4.13.1.* archives below, unpack it and run ./configure && make in the unpacked directory. Then change to the pkg subdirectory and call ../bin/ to run the script which will build most of the packages that require compilation (provided sufficiently many libraries, headers and tools are available). For further details, see here. Expert users can find the description of all installation options in the file.

gap-4.13.1.tar.gz 515 MB sha256: 9794dbdba6fb998e0a2d0aa8ce21fc8848ad3d3f9cc9993b0b8e20be7e1dbeba 533 MB sha256: 8298f4a8c78197d8509f01a1f841a09eaac4880dab273fae2ba82bc30eb69aa8

You may also consider one of the alternative distributions. Note, however, that these are updated independently and may not yet provide the latest GAP release.


For users of Windows 10, we strongly recommend using GAP via the Windows Subsystem for Linux.

Otherwise, we recommend the use of the following .exe installer, which contains 64-bit binaries for GAP (compiled with the support of GMP and readline libraries) and for selected GAP packages, and provides the standard installation procedure.

Note that the path to the GAP directory should not contain spaces. For example, you may install GAP in C:\gap-4.13.1 (default), D:\gap-4.13.1 or C:\Math\GAP\gap-4.13.1, but you must not install it in a directory named like C:\Program files\gap-4.13.1 or C:\Users\alice\My Documents\gap-4.13.1 etc.

gap-4.13.1-x86_64.exe 648 MB sha256: 818de0167e109a6335efed8660e7d1b277c89eac4fa6f2d31839b8b3b300e021

Packages included in this release

Each of the GAP 4.13.1 archives contains the core GAP system (the source code, data libraries, regression tests and documentation), and the following selection of packages:

Package name Version Release date Description
4ti2Interface 2023.02-04 2023-02-28 A link to 4ti2
ACE 5.6.2 03/01/2023 Advanced Coset Enumerator
AClib 1.3.2 28/01/2020 Almost Crystallographic Groups - A Library and Algorithms
AGT 0.3.1 31/12/2022 Algebraic Graph Theory
Alnuth 3.2.1 05/04/2022 Algebraic number theory and an interface to PARI/GP
ANUPQ 3.3.0 05/01/2023 ANU p-Quotient
AtlasRep 2.1.8 03/01/2024 A GAP Interface to the Atlas of Group Representations
AutoDoc 2023.06.19 19/06/2023 Generate documentation from GAP source code
Automata 1.15 20/03/2022 A package on automata
AutomGrp 1.3.2 30/09/2019 Automata groups
AutPGrp 1.11 05/08/2022 Computing the Automorphism Group of a p-Group
Browse 1.8.21 01/03/2023 browsing applications and ncurses interface
CAP 2024.06-02 2024-06-10 Categories, Algorithms, Programming
CaratInterface 2.3.6 18/12/2023 Interface to CARAT, a crystallographic groups package
CddInterface 2022.11.01 01/11/2022 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.6 23/03/2024 Congruence subgroups of SL(2,Integers)
CoReLG 1.56 24/02/2022 Computing with real Lie algebras
CRIME 1.6 17/03/2022 A GAP Package to Calculate Group Cohomology and Massey Products
CRISP 1.4.6 15/12/2022 Computing with Radicals, Injectors, Schunck classes and Projectors
crypting 0.10.4 02/11/2022 Hashes and Crypto in GAP
Cryst 4.1.27 18/12/2023 Computing with crystallographic groups
CrystCat 1.1.10 29/07/2022 The crystallographic groups catalog
CTblLib 1.3.9 14/03/2024 The GAP Character Table Library
Cubefree 1.19 21/02/2022 Constructing the Groups of a Given Cubefree Order
curlInterface 2.3.2 19/05/2023 Simple Web Access
cvec 2.8.1 28/03/2023 Compact vectors over finite fields
datastructures 0.3.0 04/11/2022 Collection of standard data structures for GAP
DeepThought 1.0.6 06/10/2022 This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm.
DESIGN 1.8 20/02/2023 The Design Package for GAP
DifSets 2.3.1 14/09/2019 an algorithm for enumerating all difference sets in a group
Digraphs 1.7.1 19/02/2024 Graphs, digraphs, and multidigraphs in GAP
EDIM 1.3.8 21/02/2024 Elementary Divisors of Integer Matrices
Example 4.3.4 25/02/2023 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.11 24/04/2024 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.4 11/01/2024 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.11 05/04/2024 Sesquilinear and Quadratic
FPLSA 1.2.6 03/01/2023 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 2023.02-04 2023-02-28 Extended Gauss functionality for GAP
GaussForHomalg 2023.11-01 2023-11-30 Gauss functionality for the homalg project
GBNP 1.0.5 09/03/2022 computing Gröbner bases of noncommutative polynomials
GeneralizedMorphismsForCAP 2024.04-01 2024-04-04 Implementations of generalized morphisms for the CAP project
genss 1.6.8 26/09/2022 Generic Schreier-Sims
GradedModules 2024.01-01 2024-01-10 A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg 2023.08-01 2023-08-23 Endow Commutative Rings with an Abelian Grading
GRAPE 4.9.0 09/12/2022 GRaph Algorithms using PErmutation groups
groupoids 1.74 23/01/2024 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.19 21/03/2024 a GAP package for computing with error-correcting codes
HAP 1.62 01/02/2024 Homological Algebra Programming
HAPcryst 0.1.15 26/07/2022 A HAP extension for crystallographic groups
hecke 1.5.3 01/09/2019 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 2023.11-01 2023-11-30 A window to the outer world
idrel 2.47 02/06/2024 Identities among relations
images 1.3.2 22/01/2024 Minimal and Canonical images
IntPic 0.3.0 02/06/2022 A package for drawing integers
IO 4.8.2 16/10/2023 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.1 24/04/2024 Reading and Writing JSON
JupyterKernel 1.5.0 25/02/2023 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.6 25/02/2023 Lie AlGebras and UNits of group Algebras
LieAlgDB 2.2.1 07/10/2019 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 2024.06-01 2024-06-10 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.3 14/11/2022 Computing with quasigroups and loops in GAP
lpres 1.0.3 20/03/2022 Nilpotent Quotients of L-Presented Groups
MajoranaAlgebras 1.5.1 09/12/2022 A package for constructing Majorana algebras and representations
MapClass 1.4.6 17/09/2022 A Package For Mapping Class Orbit Computation
matgrp 0.70 01/03/2022 Matric Group Interface Routines
MatricesForHomalg 2024.02-01 2024-02-20 Matrices for the homalg project
ModIsom 2.5.4 27/02/2023 Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
ModulePresentationsForCAP 2024.04-01 2024-04-04 Category R-pres for CAP
Modules 2024.01-01 2024-01-10 A homalg based package for the Abelian category of finitely presented modules over computable rings
MonoidalCategories 2024.06-01 2024-06-09 Monoidal and monoidal (co)closed categories
NConvex 2022.09-01 30/09/2022 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.3.6 19/05/2023 GAP wrapper for Normaliz
nq 2.5.11 12/01/2024 Nilpotent Quotients of Finitely Presented Groups
NumericalSgps 1.3.1 27/07/2022 A package for numerical semigroups
OpenMath 11.5.3 25/02/2023 OpenMath functionality in GAP
orb 4.9.0 26/09/2022 Methods to enumerate orbits
PackageManager 1.4.3 12/01/2024 Easily download and install GAP packages
PatternClass 2.4.3 17/10/2022 A permutation pattern class package
permut 2.0.5 11/01/2024 A package to deal with permutability in finite groups
Polenta 1.3.10 29/03/2022 Polycyclic presentations for matrix groups
Polycyclic 2.16 25/07/2020 Computation with polycyclic groups
polymaking 0.8.7 04/10/2023 Interfacing the geometry software polymake
PrimGrp 3.4.4 25/02/2023 GAP Primitive Permutation Groups Library
profiling 2.5.4 29/06/2023 Line by line profiling and code coverage for GAP
QDistRnd 0.9.4 23/02/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.7.1 06/12/2022 Residue-Class-Wise Affine Groups
RDS 1.8 21/02/2022 A package for searching relative difference sets
recog 1.4.2 27/09/2022 A package for constructive recognition of permutation and matrix groups
RepnDecomp 1.3.0 02/01/2023 Decompose representations of finite groups into irreducibles
Repsn 3.1.2 22/01/2024 Constructing representations of finite groups
ResClasses 4.7.3 29/07/2022 Set-Theoretic Computations with Residue Classes
RingsForHomalg 2023.11-02 2023-11-04 Dictionaries of external rings
SCO 2023.08-01 2023-08-23 SCO - Simplicial Cohomology of Orbifolds
SCSCP 2.4.2 31/01/2024 Symbolic Computation Software Composability Protocol in GAP
Semigroups 5.3.7 11/03/2024 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.5 20/03/2022 A package for semigroup visualization
simpcomp 2.1.14 15/03/2022 A GAP toolbox for simplicial complexes
singular 2024.06.03 03/06/2024 A GAP interface to Singular
SL2Reps 1.1 26/11/2022 Constructing symmetric representations of SL(2,Z).
SLA 1.5.3 15/11/2019 Computing with simple Lie algebras
SmallGrp 1.5.3 16/05/2023 The GAP Small Groups Library
Smallsemi 0.7.0 20/05/2024 A library of small semigroups
SONATA 2.9.6 06/12/2022 System of nearrings and their applications
Sophus 1.27 09/08/2022 Computing in nilpotent Lie algebras
SOTGrps 1.2 20/06/2023 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 2023.11-01 2023-11-30 Special methods and knowledge propagation tools
Toric 1.9.5 07/10/2019 toric varieties and some combinatorial geometry computations
ToricVarieties 2022.07.13 13/07/2022 A package to handle toric varieties
TransGrp 3.6.5 15/12/2023 Transitive Groups Library
typeset 1.2.2 01/03/2024 Automatic typesetting framework for common GAP objects, with LaTeX generation
UGALY 4.1.3 07/07/2023 Universal Groups Acting LocallY
Unipot 1.5 22/02/2022 Computing with elements of unipotent subgroups of Chevalley groups
UnitLib 4.2.0 25/02/2023 Library of normalized unit groups of modular group algebras
utils 0.85 23/01/2024 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.10.5 19/02/2024 Wedderburn Decomposition of Group Algebras
XGAP 4.32 08/02/2024 a graphical user interface for GAP
XMod 2.92 23/01/2024 Crossed Modules and Cat1-Groups
XModAlg 1.23 03/12/2022 Crossed Modules and Cat1-Algebras
YangBaxter 0.10.3 25/02/2023 Combinatorial Solutions for the Yang-Baxter equation
ZeroMQInterface 0.14 29/07/2022 ZeroMQ bindings for GAP