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.
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
|