GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.12.0

For an overview of changes in GAP 4.12.0 see CHANGES.md file.

Linux and macOS

Download one of the gap-4.12.0.* archives below, unpack it and run ./configure && make in the unpacked directory. Then change to the pkg subdirectory and call ../bin/BuildPackages.sh 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 INSTALL.md file.

gap-4.12.0.tar.gz 482 MB sha256: 6005d0c0316fe8803d84681f30be64eace83a9542f975f5cb3dedfadd4391849
gap-4.12.0.zip 502 MB sha256: 42ade38c8d4e99f98feca7f52b3627dd0385c19723d2a6ac582db79bd20644af

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.

Windows

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 installers, which contains binaries for GAP (compiled with the support of GMP and readline libraries) and for selected GAP packages, and provides the standard installation procedure. Both 32-bit (x86) and 64-bit (x86_64) versions are available. For almost all users, 64-bit GAP is by far the better choice. Please note that the provision of 32-bit Windows installers is likely to be dropped from GAP releases in the near future.

gap-4.12.0-x86.exe 565 MB sha256: 2d6fb4d31490a2b4983abb854bf23320d7a9722021e1077ce58173513b656bbf
gap-4.12.0-x86_64.exe 556 MB sha256: 0d6cf3c91c0bb4371604783b17bdc531be8c9a28b1d2067e71958d638519dcfb

Packages included in this release

Each of the GAP 4.12.0 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 2022.08-03 17/08/2022 A link to 4ti2
ACE 5.5 01/08/2022 Advanced Coset Enumerator
AClib 1.3.2 28/01/2020 Almost Crystallographic Groups - A Library and Algorithms
AGT 0.2 02/03/2020 Algebraic Graph Theory
Alnuth 3.2.1 05/04/2022 Algebraic number theory and an interface to PARI/GP
ANUPQ 3.2.6 07/03/2022 ANU p-Quotient
AtlasRep 2.1.4 05/08/2022 A GAP Interface to the Atlas of Group Representations
AutoDoc 2022.07.10 10/07/2022 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.14 24/03/2022 browsing applications and ncurses interface
CAP 2022.08-05 16/08/2022 Categories, Algorithms, Programming
CaratInterface 2.3.4 29/07/2022 Interface to CARAT, a crystallographic groups package
CddInterface 2022.08.11 11/08/2022 Gap interface to Cdd package
Circle 1.6.5 27/04/2022 Adjoint groups of finite rings
classicpres 1.22 06/05/2022 Classical Group Presentations
cohomolo 1.6.10 30/03/2022 Cohomology groups of finite groups on finite modules
Congruence 1.2.4 27/04/2022 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.5 07/11/2019 Computing with Radicals, Injectors, Schunck classes and Projectors
crypting 0.10 28/10/2019 Hashes and Crypto in GAP
Cryst 4.1.25 29/07/2022 Computing with crystallographic groups
CrystCat 1.1.10 29/07/2022 The crystallographic groups catalog
CTblLib 1.3.4 26/04/2022 The GAP Character Table Library
Cubefree 1.19 21/02/2022 Constructing the Groups of a Given Cubefree Order
curlInterface 2.2.3 15/08/2022 Simple Web Access
cvec 2.7.6 06/08/2022 Compact vectors over finite fields
datastructures 0.2.7 03/03/2022 Collection of standard data structures for GAP
DeepThought 1.0.5 05/04/2021 This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm.
DESIGN 1.7 18/03/2019 The Design Package for GAP
DifSets 2.3.1 14/09/2019 an algorithm for enumerating all difference sets in a group
Digraphs 1.5.3 20/05/2022 Graphs, digraphs, and multidigraphs in GAP
EDIM 1.3.5 13/08/2019 Elementary Divisors of Integer Matrices
Example 4.3.2 01/08/2022 Example/Template of a GAP Package
ExamplesForHomalg 2022.08-02 17/08/2022 Examples for the GAP Package homalg
FactInt 1.6.3 15/11/2019 Advanced Methods for Factoring Integers
ferret 1.0.8 01/07/2022 Backtrack Search in Permutation Groups
FGA 1.4.0 23/03/2018 Free Group Algorithms
FinInG 1.5 10/07/2022 Finite Incidence Geometry
float 1.0.3 15/02/2022 Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP
FORMAT 1.4.3 28/01/2020 Computing with formations of finite solvable groups.
Forms 1.2.8 09/07/2022 Sesquilinear and Quadratic
FPLSA 1.2.5 10/03/2022 Finitely Presented Lie Algebras
FR 2.4.10 10/08/2022 Computations with functionally recursive groups
Francy 1.2.4 17/05/2019 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.6 01/07/2022 A Meta Package for GAP Documentation
Gauss 2022.08-04 17/08/2022 Extended Gauss functionality for GAP
GaussForHomalg 2022.08-02 17/08/2022 Gauss functionality for the homalg project
GBNP 1.0.5 09/03/2022 computing Gröbner bases of noncommutative polynomials
GeneralizedMorphismsForCAP 2022.05-01 03/05/2022 Implementations of generalized morphisms for the CAP project
genss 1.6.7 31/07/2022 Generic Schreier-Sims
GradedModules 2022.08-02 17/08/2022 A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg 2022.08-02 18/08/2022 Endow Commutative Rings with an Abelian Grading
GRAPE 4.8.5 26/03/2021 GRaph Algorithms using PErmutation groups
groupoids 1.71 07/08/2022 Calculations with finite groupoids and their homomorphisms
GrpConst 2.6.2 28/01/2020 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.16 24/04/2022 a GAP package for computing with error-correcting codes
HAP 1.47 14/08/2022 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 3.5 20/12/2019 Hertweck-Luthar-Passi method.
homalg 2022.08-03 17/08/2022 A homological algebra meta-package for computable Abelian categories
HomalgToCAS 2022.08-02 18/08/2022 A window to the outer world
idrel 2.44 04/06/2022 Identities among relations
images 1.3.1 16/11/2021 Minimal and Canonical images
IntPic 0.3.0 02/06/2022 A package for drawing integers
IO 4.7.2 21/10/2021 Bindings for low level C library I/O routines
IO_ForHomalg 2022.08-03 18/08/2022 IO capabilities for the homalg project
IRREDSOL 1.4.3 01/07/2021 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.1.0 22/02/2022 Reading and Writing JSON
JupyterKernel 1.4.1 01/09/2021 Jupyter kernel written in GAP
JupyterViz 1.5.6 16/08/2022 Visualization Tools for Jupyter and the GAP REPL
kan 1.34 13/03/2022 including double coset rewriting systems
kbmag 1.5.9 07/07/2019 Knuth-Bendix on Monoids and Automatic Groups
LAGUNA 3.9.5 27/04/2022 Lie AlGebras and UNits of group Algebras
LieAlgDB 2.2.1 07/10/2019 A database of Lie algebras
LiePRing 2.7 05/08/2022 Database and algorithms for Lie p-rings
LieRing 2.4.2 10/02/2022 Computing with finitely presented Lie rings
LinearAlgebraForCAP 2022.08-03 15/08/2022 Category of Matrices over a Field for CAP
LocalizeRingForHomalg 2022.08-02 17/08/2022 A Package for Localization of Polynomial Rings
loops 3.4.2 31/07/2022 Computing with quasigroups and loops in GAP
lpres 1.0.3 20/03/2022 Nilpotent Quotients of L-Presented Groups
MajoranaAlgebras 1.4 06/12/2018 A package for constructing Majorana algebras and representations
MapClass 1.4.5 17/03/2022 A Package For Mapping Class Orbit Computation
matgrp 0.70 01/03/2022 Matric Group Interface Routines
MatricesForHomalg 2022.08-02 17/08/2022 Matrices for the homalg project
ModIsom 2.5.3 09/08/2022 Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
ModulePresentationsForCAP 2022.08-02 15/08/2022 Category R-pres for CAP
Modules 2022.08-03 17/08/2022 A homalg based package for the Abelian category of finitely presented modules over computable rings
MonoidalCategories 2022.08-03 15/08/2022 Monoidal and monoidal (co)closed categories
NConvex 2020.11-04 04/11/2020 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.4 07/08/2022 GAP wrapper for Normaliz
nq 2.5.8 04/04/2022 Nilpotent Quotients of Finitely Presented Groups
NumericalSgps 1.3.1 27/07/2022 A package for numerical semigroups
OpenMath 11.5.1 29/04/2022 OpenMath functionality in GAP
orb 4.8.5 25/07/2022 Methods to enumerate orbits
PackageManager 1.3 18/08/2022 Easily download and install GAP packages
PatternClass 2.4.2 24/07/2018 A permutation pattern class package
permut 2.0.4 27/03/2022 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.6 08/07/2021 Interfacing the geometry software polymake
PrimGrp 3.4.2 03/05/2022 GAP Primitive Permutation Groups Library
profiling 2.5.0 22/02/2022 Line by line profiling and code coverage for GAP
QPA 1.34 02/08/2022 Quivers and Path Algebras
QuaGroup 1.8.3 10/02/2022 Computations with quantum groups
RadiRoot 2.9 01/03/2022 Roots of a Polynomial as Radicals
RCWA 4.7.0 29/07/2022 Residue-Class-Wise Affine Groups
RDS 1.8 21/02/2022 A package for searching relative difference sets
recog 1.3.2 15/04/2018 A collection of group recognition methods
RepnDecomp 1.2.1 02/03/2022 Decompose representations of finite groups into irreducibles
Repsn 3.1.0 22/02/2019 Constructing representations of finite groups
ResClasses 4.7.3 29/07/2022 Set-Theoretic Computations with Residue Classes
RingsForHomalg 2022.08-03 18/08/2022 Dictionaries of external rings
SCO 2022.08-02 17/08/2022 SCO - Simplicial Cohomology of Orbifolds
SCSCP 2.3.1 22/01/2020 Symbolic Computation Software Composability Protocol in GAP
Semigroups 5.0.2 12/08/2022 A package for semigroups and monoids
SglPPow 2.2 05/04/2022 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 2020.12.18 18/12/2020 A GAP interface to Singular
SLA 1.5.3 15/11/2019 Computing with simple Lie algebras
SmallGrp 1.5 06/04/2022 The GAP Small Groups Library
Smallsemi 0.6.13 28/02/2022 A library of small semigroups
SONATA 2.9.4 20/04/2022 System of nearrings and their applications
Sophus 1.27 09/08/2022 Computing in nilpotent Lie algebras
SpinSym 1.5.2 01/10/2019 Brauer tables of spin-symmetric groups
StandardFF 0.9.4 15/08/2022 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.9 23/10/2019 The GAP Library of Tables of Marks
ToolsForHomalg 2022.08-02 17/08/2022 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.3 19/07/2022 Transitive Groups Library
UGALY 4.0.3 14/07/2022 Universal Groups Acting LocallY
Unipot 1.5 22/02/2022 Computing with elements of unipotent subgroups of Chevalley groups
UnitLib 4.1.0 26/04/2022 Library of normalized unit groups of modular group algebras
utils 0.76 06/08/2022 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.2 29/04/2022 Wedderburn Decomposition of Group Algebras
XGAP 4.31 17/02/2022 a graphical user interface for GAP
XMod 2.88 28/04/2022 Crossed Modules and Cat1-Groups
XModAlg 1.22 29/04/2022 Crossed Modules and Cat1-Algebras
YangBaxter 0.10.1 14/08/2022 Combinatorial Solutions for the Yang-Baxter equation
ZeroMQInterface 0.14 29/07/2022 ZeroMQ bindings for GAP