Note that the path to the GAP directory should not contain spaces. For example,
you may install GAP in C:\gap-4.11.0
(default),
D:\gap-4.11.0
or
C:\Math\GAP\gap-4.11.0
, but you must not install it in a
directory named like C:\Program files\gap-4.11.0
or
C:\Users\alice\My Documents\gap-4.11.0
etc.
We also provide a 32-bit archive of GAP for Windows.
Each of the GAP 4.11.0 archives contains
the core GAP system (the source code,
data libraries, regression tests and
documentation), and the following selection of
packages:
4ti2Interface
|
2019.09.02
|
02/09/2019
|
A link to 4ti2
|
ACE
|
5.3
|
12/02/2020
|
Advanced Coset Enumerator
|
AClib
|
1.3.2
|
28/01/2020
|
Almost Crystallographic Groups - A Library and Algorithms
|
AGT
|
0.1
|
04/02/2020
|
Algebraic Graph Theory
|
Alnuth
|
3.1.2
|
28/01/2020
|
Algebraic number theory and an interface to PARI/GP
|
ANUPQ
|
3.2.1
|
18/04/2019
|
ANU p-Quotient
|
AtlasRep
|
2.1.0
|
10/05/2019
|
A GAP Interface to the Atlas of Group Representations
|
AutoDoc
|
2019.09.04
|
04/09/2019
|
Generate documentation from GAP source code
|
Automata
|
1.14
|
26/09/2018
|
A package on automata
|
AutomGrp
|
1.3.2
|
30/09/2019
|
Automata groups
|
AutPGrp
|
1.10.2
|
28/01/2020
|
Computing the Automorphism Group of a p-Group
|
Browse
|
1.8.8
|
08/06/2018
|
browsing applications and ncurses interface
|
CAP
|
2019.06.07
|
07/06/2019
|
Categories, Algorithms, Programming
|
CaratInterface
|
2.3.3
|
20/12/2019
|
Interface to CARAT, a crystallographic groups package
|
CddInterface
|
2020.01.01
|
01/01/2020
|
Gap interface to Cdd package
|
Circle
|
1.6.3
|
01/11/2019
|
Adjoint groups of finite rings
|
cohomolo
|
1.6.8
|
07/07/2019
|
Cohomology groups of finite groups on finite modules
|
Congruence
|
1.2.3
|
19/05/2019
|
Congruence subgroups of SL(2,Integers)
|
CoReLG
|
1.54
|
17/01/2020
|
Computing with real Lie algebras
|
CRIME
|
1.5
|
11/10/2018
|
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.23
|
10/12/2019
|
Computing with crystallographic groups
|
CrystCat
|
1.1.9
|
28/05/2019
|
The crystallographic groups catalog
|
CTblLib
|
1.2.2
|
07/03/2013
|
The GAP Character Table Library
|
Cubefree
|
1.18
|
30/09/2019
|
Constructing the Groups of a Given Cubefree Order
|
curlInterface
|
2.1.1
|
26/10/2018
|
Simple Web Access
|
cvec
|
2.7.4
|
17/07/2019
|
Compact vectors over finite fields
|
datastructures
|
0.2.5
|
11/11/2019
|
Collection of standard data structures for GAP
|
DeepThought
|
1.0.2
|
13/09/2018
|
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.1.1
|
29/01/2020
|
Graphs, digraphs, and multidigraphs in GAP
|
EDIM
|
1.3.5
|
13/08/2019
|
Elementary Divisors of Integer Matrices
|
Example
|
4.2.1
|
09/12/2019
|
Example/Template of a GAP Package
|
ExamplesForHomalg
|
2019.09.02
|
02/09/2019
|
Examples for the GAP Package homalg
|
FactInt
|
1.6.3
|
15/11/2019
|
Advanced Methods for Factoring Integers
|
ferret
|
1.0.2
|
17/01/2019
|
Backtrack Search in Permutation Groups
|
FGA
|
1.4.0
|
23/03/2018
|
Free Group Algorithms
|
FinInG
|
1.4.1
|
31/03/2018
|
Finite Incidence Geometry
|
float
|
0.9.1
|
14/06/2018
|
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.5
|
27/09/2018
|
Sesquilinear and Quadratic
|
FPLSA
|
1.2.4
|
07/07/2019
|
Finitely Presented Lie Algebras
|
FR
|
2.4.6
|
03/11/2018
|
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.3
|
16/07/2019
|
A Meta Package for GAP Documentation
|
Gauss
|
2019.09.02
|
02/09/2019
|
Extended Gauss functionality for GAP
|
GaussForHomalg
|
2019.09.02
|
02/09/2019
|
Gauss functionality for the homalg project
|
GBNP
|
1.0.3
|
08/03/2016
|
computing Gröbner bases of noncommutative polynomials
|
GeneralizedMorphismsForCAP
|
2019.01.16
|
16/01/2019
|
Implementations of generalized morphisms for the CAP project
|
genss
|
1.6.6
|
18/07/2018
|
Generic Schreier-Sims
|
GradedModules
|
2020.01.02
|
02/01/2020
|
A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
|
GradedRingForHomalg
|
2020.01.02
|
02/01/2020
|
Endow Commutative Rings with an Abelian Grading
|
GRAPE
|
4.8.3
|
09/12/2019
|
GRaph Algorithms using PErmutation groups
|
groupoids
|
1.68
|
04/09/2019
|
Calculations with finite groupoids and their homomorphisms
|
GrpConst
|
2.6.2
|
28/01/2020
|
Constructing the Groups of a Given Order
|
Guarana
|
0.96.2
|
15/11/2018
|
Applications of Lie methods for computations with infinite polycyclic groups
|
GUAVA
|
3.15
|
13/04/2019
|
a GAP package for computing with error-correcting codes
|
HAP
|
1.25
|
25/01/2020
|
Homological Algebra Programming
|
HAPcryst
|
0.1.13
|
10/02/2020
|
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
|
2019.09.01
|
01/09/2019
|
A homological algebra meta-package for computable Abelian categories
|
HomalgToCAS
|
2019.12.08
|
08/12/2019
|
A window to the outer world
|
idrel
|
2.43
|
29/05/2019
|
Identities among relations
|
images
|
1.3.0
|
21/03/2019
|
Minimal and Canonical images
|
IntPic
|
0.2.4
|
23/08/2019
|
A package for drawing integers
|
IO
|
4.7.0
|
17/07/2019
|
Bindings for low level C library I/O routines
|
IO_ForHomalg
|
2019.09.02
|
02/09/2019
|
IO capabilities for the homalg project
|
IRREDSOL
|
1.4
|
03/08/2017
|
A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groups
|
ITC
|
1.5
|
13/06/2018
|
Interactive Todd-Coxeter
|
json
|
2.0.1
|
03/11/2019
|
Reading and Writing JSON
|
JupyterKernel
|
1.3
|
23/02/2019
|
Jupyter kernel written in GAP
|
JupyterViz
|
1.5.1
|
28/03/2019
|
Visualization Tools for Jupyter and the GAP REPL
|
kan
|
1.29
|
29/05/2019
|
including double coset rewriting systems
|
kbmag
|
1.5.9
|
07/07/2019
|
Knuth-Bendix on Monoids and Automatic Groups
|
LAGUNA
|
3.9.3
|
19/05/2019
|
Lie AlGebras and UNits of group Algebras
|
LieAlgDB
|
2.2.1
|
07/10/2019
|
A database of Lie algebras
|
LiePRing
|
1.9.2
|
11/10/2018
|
Database and algorithms for Lie p-rings
|
LieRing
|
2.4.1
|
23/02/2019
|
Computing with finitely presented Lie rings
|
LinearAlgebraForCAP
|
2019.01.16
|
16/01/2019
|
Category of Matrices over a Field for CAP
|
LocalizeRingForHomalg
|
2019.09.02
|
02/09/2019
|
A Package for Localization of Polynomial Rings
|
loops
|
3.4.1
|
06/11/2018
|
Computing with quasigroups and loops in GAP
|
lpres
|
1.0.1
|
14/11/2018
|
Nilpotent Quotients of L-Presented Groups
|
MajoranaAlgebras
|
1.4
|
06/12/2018
|
A package for constructing Majorana algebras and representations
|
MapClass
|
1.4.4
|
02/12/2018
|
A Package For Mapping Class Orbit Computation
|
matgrp
|
0.63
|
18/03/2020
|
Matric Group Interface Routines
|
MatricesForHomalg
|
2020.01.02
|
02/01/2020
|
Matrices for the homalg project
|
ModIsom
|
2.5.1
|
28/01/2020
|
Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
|
ModulePresentationsForCAP
|
2019.01.16
|
16/01/2019
|
Category R-pres for CAP
|
Modules
|
2019.09.02
|
02/09/2019
|
A homalg based package for the Abelian category of finitely presented modules over computable rings
|
MonoidalCategories
|
2019.06.07
|
07/06/2019
|
Monoidal and monoidal (co)closed categories
|
NConvex
|
2019.12.10
|
10/12/2019
|
A Gap package to perform polyhedral computations
|
Nilmat
|
1.4
|
09/02/2020
|
Computing with nilpotent matrix groups
|
NoCK
|
1.4
|
22/10/2019
|
NoCK-Package for computing obstruction for compact Clifford-Klein forms.
|
NormalizInterface
|
1.1.0
|
23/08/2019
|
GAP wrapper for Normaliz
|
nq
|
2.5.4
|
15/02/2019
|
Nilpotent Quotients of Finitely Presented Groups
|
NumericalSgps
|
1.2.1
|
22/08/2019
|
A package for numerical semigroups
|
OpenMath
|
11.5.0
|
09/02/2020
|
OpenMath functionality in GAP
|
orb
|
4.8.3
|
03/09/2019
|
Methods to enumerate orbits
|
PackageManager
|
1.0
|
04/02/2020
|
Easily download and install GAP packages
|
PatternClass
|
2.4.2
|
24/07/2018
|
A permutation pattern class package
|
permut
|
2.0.3
|
19/08/2018
|
A package to deal with permutability in finite groups
|
Polenta
|
1.3.9
|
01/10/2019
|
Polycyclic presentations for matrix groups
|
Polycyclic
|
2.15.1
|
03/10/2019
|
Computation with polycyclic groups
|
PolymakeInterface
|
2019.09.02
|
02/09/2019
|
A package to provide algorithms for fans and cones of polymake to other packages
|
polymaking
|
0.8.2
|
23/02/2019
|
Interfacing the geometry software polymake
|
PrimGrp
|
3.4.0
|
03/12/2019
|
GAP Primitive Permutation Groups Library
|
profiling
|
2.2.1
|
15/03/2019
|
Line by line profiling and code coverage for GAP
|
QPA
|
1.30
|
18/09/2019
|
Quivers and Path Algebras
|
QuaGroup
|
1.8.2
|
01/10/2019
|
Computations with quantum groups
|
RadiRoot
|
2.8
|
23/04/2018
|
Roots of a Polynomial as Radicals
|
RCWA
|
4.6.4
|
24/03/2019
|
Residue-Class-Wise Affine Groups
|
RDS
|
1.7
|
23/02/2019
|
A package for searching relative difference sets
|
recog
|
1.3.2
|
15/04/2018
|
A collection of group recognition methods
|
RepnDecomp
|
1.1.0
|
15/02/2020
|
Decompose representations of finite groups into irreducibles
|
Repsn
|
3.1.0
|
22/02/2019
|
Constructing representations of finite groups
|
ResClasses
|
4.7.2
|
24/03/2019
|
Set-Theoretic Computations with Residue Classes
|
RingsForHomalg
|
2019.12.08
|
08/12/2019
|
Dictionaries of external rings
|
SCO
|
2019.09.02
|
02/09/2019
|
SCO - Simplicial Cohomology of Orbifolds
|
SCSCP
|
2.3.1
|
22/01/2020
|
Symbolic Computation Software Composability Protocol in GAP
|
Semigroups
|
3.2.3
|
07/02/2020
|
A package for semigroups and monoids
|
SglPPow
|
2.1
|
08/03/2018
|
Database of groups of prime-power order for some prime-powers
|
SgpViz
|
0.999.4
|
29/10/2018
|
A package for semigroup visualization
|
simpcomp
|
2.1.10
|
03/06/2019
|
A GAP toolbox for simplicial complexes
|
singular
|
2019.10.01
|
01/10/2019
|
A GAP interface to Singular
|
SLA
|
1.5.3
|
15/11/2019
|
Computing with simple Lie algebras
|
SmallGrp
|
1.4.1
|
26/09/2019
|
The GAP Small Groups Library
|
Smallsemi
|
0.6.12
|
16/08/2019
|
A library of small semigroups
|
SONATA
|
2.9.1
|
07/10/2018
|
System of nearrings and their applications
|
Sophus
|
1.24
|
09/04/2018
|
Computing in nilpotent Lie algebras
|
SpinSym
|
1.5.2
|
01/10/2019
|
Brauer tables of spin-symmetric groups
|
SymbCompCC
|
1.3.1
|
27/09/2019
|
Computing with parametrised presentations for p-groups of fixed coclass
|
Thelma
|
1.02
|
06/02/2019
|
A package on threshold elements
|
TomLib
|
1.2.9
|
23/10/2019
|
The GAP Library of Tables of Marks
|
ToolsForHomalg
|
2019.09.02
|
02/09/2019
|
Special methods and knowledge propagation tools
|
Toric
|
1.9.5
|
07/10/2019
|
toric varieties and some combinatorial geometry computations
|
ToricVarieties
|
2019.12.05
|
05/12/2019
|
A package to handle toric varieties
|
TransGrp
|
2.0.5
|
28/02/2020
|
Transitive Groups Library
|
Unipot
|
1.4
|
09/04/2018
|
Computing with elements of unipotent subgroups of Chevalley groups
|
UnitLib
|
4.0.0
|
01/05/2018
|
Library of normalized unit groups of modular group algebras
|
utils
|
0.69
|
29/11/2019
|
Utility functions in GAP
|
uuid
|
0.6
|
22/09/2018
|
RFC 4122 UUIDs
|
walrus
|
0.999
|
19/12/2019
|
A new approach to proving hyperbolicity
|
Wedderga
|
4.9.5
|
30/11/2018
|
Wedderburn Decomposition of Group Algebras
|
XGAP
|
4.30
|
16/04/2019
|
a graphical user interface for GAP
|
XMod
|
2.77
|
17/11/2019
|
Crossed Modules and Cat1-Groups
|
XModAlg
|
1.17
|
30/08/2018
|
Crossed Modules and Cat1-Algebras
|
YangBaxter
|
0.9.0
|
08/11/2019
|
Combinatorial Solutions for the Yang-Baxter equation
|
ZeroMQInterface
|
0.12
|
01/11/2019
|
ZeroMQ bindings for GAP
|