GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.12.2

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

Linux and macOS

Download one of the gap-4.12.2.* 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.2.tar.gz 485 MB sha256: 672308745eb78a222494ee8dd6786edd5bc331456fcc6456ac064bdb28d587a8
gap-4.12.2.zip 504 MB sha256: d5285f1b125c56544925731345f635772f14dd8fe90248b8510840f0879ac6ca

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 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.12.2 (default), D:\gap-4.12.2 or C:\Math\GAP\gap-4.12.2, but you must not install it in a directory named like C:\Program files\gap-4.12.2 or C:\Users\alice\My Documents\gap-4.12.2 etc.

gap-4.12.2-x86_64.exe 578 MB sha256: c086066e944237f46e8b562f57a5436f01aaa5ed56efe792124ee99c3cae093b

Packages included in this release

Each of the GAP 4.12.2 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.09-01 19/09/2022 A link to 4ti2
ACE 5.6.1 26/09/2022 Advanced Coset Enumerator
AClib 1.3.2 28/01/2020 Almost Crystallographic Groups - A Library and Algorithms
AGT 0.3 22/10/2022 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.6 19/10/2022 A GAP Interface to the Atlas of Group Representations
AutoDoc 2022.10.20 20/10/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.19 08/12/2022 browsing applications and ncurses interface
CAP 2022.12-11 16/12/2022 Categories, Algorithms, Programming
CaratInterface 2.3.4 29/07/2022 Interface to CARAT, a crystallographic groups package
CddInterface 2022.11.01 01/11/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.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.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.3.1 25/09/2022 Simple Web Access
cvec 2.7.6 06/08/2022 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.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.6.1 06/12/2022 Graphs, digraphs, and multidigraphs in GAP
EDIM 1.3.6 23/09/2022 Elementary Divisors of Integer Matrices
Example 4.3.2 01/08/2022 Example/Template of a GAP Package
ExamplesForHomalg 2022.11-01 23/11/2022 Examples for the GAP Package homalg
FactInt 1.6.3 15/11/2019 Advanced Methods for Factoring Integers
ferret 1.0.9 18/10/2022 Backtrack Search in Permutation Groups
FGA 1.4.0 23/03/2018 Free Group Algorithms
FinInG 1.5.4 13/12/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.9 14/10/2022 Sesquilinear and Quadratic
FPLSA 1.2.5 10/03/2022 Finitely Presented Lie Algebras
FR 2.4.12 03/12/2022 Computations with functionally recursive groups
Francy 1.2.5 05/09/2022 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.11-01 03/11/2022 Extended Gauss functionality for GAP
GaussForHomalg 2022.08-03 26/08/2022 Gauss functionality for the homalg project
GBNP 1.0.5 09/03/2022 computing Gröbner bases of noncommutative polynomials
GeneralizedMorphismsForCAP 2022.12-01 14/12/2022 Implementations of generalized morphisms for the CAP project
genss 1.6.8 26/09/2022 Generic Schreier-Sims
GradedModules 2022.09-02 28/09/2022 A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg 2022.11-01 23/11/2022 Endow Commutative Rings with an Abelian Grading
GRAPE 4.9.0 09/12/2022 GRaph Algorithms using PErmutation groups
groupoids 1.71 07/08/2022 Calculations with finite groupoids and their homomorphisms
GrpConst 2.6.3 14/11/2022 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.17 05/09/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.11-01 23/11/2022 A homological algebra meta-package for computable Abelian categories
HomalgToCAS 2022.11-02 03/11/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.8.0 18/10/2022 Bindings for low level C library I/O routines
IO_ForHomalg 2022.11-01 03/11/2022 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.1.1 18/10/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.10 23/09/2022 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.8 21/10/2022 Database and algorithms for Lie p-rings
LieRing 2.4.2 10/02/2022 Computing with finitely presented Lie rings
LinearAlgebraForCAP 2022.12-04 14/12/2022 Category of Matrices over a Field for CAP
LocalizeRingForHomalg 2022.11-01 23/11/2022 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 2022.12-01 01/12/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.12-01 14/12/2022 Category R-pres for CAP
Modules 2022.11-01 23/11/2022 A homalg based package for the Abelian category of finitely presented modules over computable rings
MonoidalCategories 2022.12-01 14/12/2022 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.5 05/11/2022 GAP wrapper for Normaliz
nq 2.5.9 26/10/2022 Nilpotent Quotients of Finitely Presented Groups
NumericalSgps 1.3.1 27/07/2022 A package for numerical semigroups
OpenMath 11.5.2 06/12/2022 OpenMath functionality in GAP
orb 4.9.0 26/09/2022 Methods to enumerate orbits
PackageManager 1.3.2 06/10/2022 Easily download and install GAP packages
PatternClass 2.4.3 17/10/2022 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.3 10/12/2022 GAP Primitive Permutation Groups Library
profiling 2.5.1 10/10/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.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.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.11-01 03/11/2022 Dictionaries of external rings
SCO 2022.09-01 07/09/2022 SCO - Simplicial Cohomology of Orbifolds
SCSCP 2.4.0 10/12/2022 Symbolic Computation Software Composability Protocol in GAP
Semigroups 5.2.0 01/12/2022 A package for semigroups and monoids
SglPPow 2.3 04/11/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 2022.09.23 23/09/2022 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.1 04/11/2022 The GAP Small Groups Library
Smallsemi 0.6.13 28/02/2022 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
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.12-01 06/12/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.81 04/12/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.23 03/12/2022 Crossed Modules and Cat1-Algebras
YangBaxter 0.10.2 12/12/2022 Combinatorial Solutions for the Yang-Baxter equation
ZeroMQInterface 0.14 29/07/2022 ZeroMQ bindings for GAP