GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.7.6

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

Linux and macOS

Download one of the archives below, unpack it and run ./configure; make in the unpacked directory. Then put and run in the pkg subdirectory the shell script InstPackages.sh (for 32-bit builds on 64-bit machines, use InstPackages32.sh) in order to build most of the packages that require compilation provided sufficiently many libraries, headers and tools are available (you may have to run chmode first). For further details, see here. Expert users can find the desciption of all installation options in the INSTALL file.

gap4r7p6_2014_11_15-20_02.tar.gz 260 MB md5: 0f915dd976bdf866b65fdc1436648c00
gap4r7p6_2014_11_15-20_02.tar.bz2 217 MB md5: 4a121b174863afb5d9fbc13a348f7775
gap4r7p6_2014_11_15-20_02.zip 280 MB md5: 93870fdf39035fb6f9a70bbadaaafcfe

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

Windows

Use the .exe installer which contains binaries for GAP and some packages and provides the standard installation procedure. Note that the path to the GAP directory should not contain spaces. For example, you may install it in C:\gap4r7 (default), D:\gap4r7p6 or C:\Math\GAP\gap4r7, but you must not install it in a directory named like C:\Program files\gap4r7 or C:\Users\alice\My Documents\gap4r7 etc.

gap4r7p6_2014_11_15-20_02.exe 326 MB md5: 6996c7e47fbe0529974c68d1238331bc

Alternatively, you may use the -win.zip archive and edit .bat files manually following instructions from the INSTALL file. In case of technical problems with readline support under Windows, try the -noreadline-win.zip archive.

gap4r7p6_2014_11_15-20_02-win.zip 342 MB md5: 9ec38ce45814bdc93e06b554f1a268a1
gap4r7p6_2014_11_15-20_02-noreadline-win.zip 342 MB md5: 04b582bbb9f094909b90d05e7069c9ab

Packages included in this release

Each of the GAP 4.7.6 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 2013.09.20 20/09/2013 A link to 4ti2
ACE 5.1 22/01/2012 Advanced Coset Enumerator
AClib 1.2 29/05/2012 Almost Crystallographic Groups - A Library and Algorithms
Alnuth 3.0.0 26/10/2011 Algebraic number theory and an interface to PARI/GP
ANUPQ 3.1.1 19/11/2013 ANU p-Quotient
AtlasRep 1.5.0 12/07/2011 A GAP Interface to the Atlas of Group Representations
AutoDoc 2014.08.21 21/08/2014 Generate documentation from GAP source code
Automata 1.13 19/11/2011 A package on automata
AutomGrp 1.2.4 27/01/2014 Automata groups
AutPGrp 1.6 29/05/2012 Computing the Automorphism Group of a p-Group
Browse 1.8.6 15/08/2014 browsing applications and ncurses interface
Carat 2.1.4 29/05/2012 Interface to CARAT, a crystallographic groups package
Circle 1.5.2 01/02/2013 Adjoint groups of finite rings
cohomolo 1.6 23/06/2008 Cohomology groups of finite groups on finite modules
Congruence 1.1.1 28/10/2014 Congruence subgroups of SL(2,Integers)
Convex 2012.11.15 15/11/2012 A package for fan combinatorics
CoReLG 1.02 10/02/2014 computation with real Lie groups
Crime 1.4 01/6/2011 A GAP Package to Calculate Group Cohomology and Massey Products
CRISP 1.3.8 18/02/2014 Computing with Radicals, Injectors, Schunck classes and Projectors
Cryst 4.1.12 10/10/2013 Computing with crystallographic groups
CrystCat 1.1.6 29/05/2012 The crystallographic groups catalog
CTblLib 1.2.2 07/03/2013 The GAP Character Table Library
Cubefree 1.13 10/12/2012 Constructing the Groups of a Given Cubefree Order
cvec 2.5.3 08/11/2014 Compact vectors over finite fields
DESIGN 1.6 23/11/2011 The Design Package for GAP
EDIM 1.3.2 12/06/2013 Elementary Divisors of Integer Matrices
Example 3.4.5 28/10/2014 Example/Template of a GAP Package and Guidelines for Package Authors
ExamplesForHomalg 2013.07.05 05/07/2013 Examples for the GAP Package homalg
FactInt 1.5.3 16/06/2011 Advanced Methods for Factoring Integers
FGA 1.2.0 20/11/2012 Free Group Algorithms
Float 0.6.2 29/08/2014 Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP
FORMAT 1.3 05/26/2012 Computing with formations of finite solvable groups.
Forms 1.2.2 29/08/2011 Sesquilinear and Quadratic
FPLSA 1.1 17/11/2003 Finitely Presented Lie Algebras
FR 2.1.1 09/01/2014 Computations with functionally recursive groups
fwtree 1.0 23/04/2009 Computing trees related to some pro-p-groups of finite width
GAPDoc 1.5.1 23/02/2012 A Meta Package for GAP Documentation
Gauss 2013.06.26 26/06/2013 Extended Gauss functionality for GAP
GaussForHomalg 2013.09.20 20/09/2013 Gauss functionality for the homalg project
GBNP 1.0.1 12/05/2010 computing Gröbner bases of noncommutative polynomials
genss 1.6.2 24/09/2014 Generic Schreier-Sims
gpd 1.22 20/11/2013 Groupoids, graphs of groups, and graphs of groupoids
GradedModules 2014.09.17 17/09/2014 A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg 2014.08.27 27/08/2014 Endow Commutative Rings with an Abelian Grading
GRAPE 4.6.1 17/05/2012 GRaph Algorithms using PErmutation groups
GrpConst 2.3 29/05/2012 Constructing the Groups of a Given Order
Guarana 0.94 27/04/2012 Applications of Lie methods for computations with infinite polycyclic groups
GUAVA 3.12 21/05/2012 a GAP package for computing with error-correcting codes
HAP 1.10.15 07/12/2013 Homological Algebra Programming
HAPcryst 0.1.11 27/10/2013 A HAP extension for crytallographic groups
HAPprime 0.6 09/06/2011 a HAP extension for small prime power groups
hecke 1.4 02/07/2013 Hecke - Specht 2.4 ported to GAP 4
homalg 2014.09.14 14/09/2014 A homological algebra meta-package for computable Abelian categories
HomalgToCAS 2013.08.07 07/08/2013 A window to the outer world
idrel 2.14 11/01/2013 Identities among relations
IntPic 0.1.0 05/07/2013 A package for drawing integers
IO 4.4.4 10/11/2014 Bindings for low level C library I/O routines
IO_ForHomalg 2012.10.24 24/10/2012 IO capabilities for the homalg project
IRREDSOL 1.2.4 18/02/2014 A Library of irreducible solvable linear groups over finite fields and of finite primivite soluble groups
ITC 1.4 06/01/2004 Interactive Todd-Coxeter
kan 1.07 16/10/2013 including double coset rewriting systems
kbmag 1.5 06/01/2009 Knuth-Bendix on Monoids and Automatic Groups
LAGUNA 3.7.0 11/11/2014 Lie AlGebras and UNits of group Algebras
liealgdb 2.1 28/03/2010 A database of Lie algebras
LiePRing 1.6 08/11/2013 Database and algorithms for Lie p-rings
LieRing 2.2 11/12/2013 finitely presented Lie rings
linboxing 0.5.2 19/05/2011 access to LinBox linear algebra functions from GAP
LocalizeRingForHomalg 2014.08.27 27/08/2014 A Package for Localization of Polynomial Rings
loops 2.2.0 28/06/2012 Computing with quasigroups and loops in GAP
MapClass 1.2 24/04/2012 A Package For Mapping Class Orbit Computation
MatricesForHomalg 2014.08.26 26/08/2014 Matrices for the homalg project
ModIsom 2.3.2 04/07/2014 Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
Modules 2014.07.02 02/07/2014 A homalg based package for the Abelian category of finitely presented modules over computable rings
Nilmat 1.2 10/08/2007 Computing with nilpotent matrix groups
nq 2.5.1 02/04/2014 Nilpotent Quotients of Finitely Presented Groups
NumericalSgps 0.980 17/06/2013 A package for numerical semigroups
OpenMath 11.2.0 16/11/2013 OpenMath functionality in GAP
orb 4.7.3 08/11/2014 Methods to enumerate Orbits
ParGAP 1.4.0 17/11/2013 Parallel GAP
permut 1.01 15/04/2014 A package to deal with permutability in finite groups
Polenta 1.3.2 01/04/2014 Polycyclic presentations for matrix groups
Polycyclic 2.11 07/03/2013 Computation with polycyclic groups
PolymakeInterface 2013.03.06 06/03/2013 A package to provide algorithms for fans and cones of polymake to other packages
polymaking 0.8.1 16/11/2013 Interfacing the geometry software polymake
qaos main-1.0.28 20/01/2008 Interfacing the QaoS database from GAP
QuaGroup 1.8 16/08/2013 a package for doing computations with quantum groups
RadiRoot 2.7 09/04/2014 Roots of a Polynomial as Radicals
RCWA 3.7.0 21/07/2014 Residue-Class-Wise Affine Groups
RDS 1.6 16/02/2012 A package for searching relative difference sets
recog 1.2.3 24/09/2014 A collection of group recognition methods
recogbase 1.2.3 24/09/2014 A framework for group recognition
Repsn 3.0.2 25/08/2011 A GAP4 Package for constructing representations of finite groups
ResClasses 3.4.0 21/07/2014 Set-Theoretic Computations with Residue Classes
RingsForHomalg 2014.08.25 25/08/2014 Dictionaries of external rings
SCO 2011.08.11 11/08/2011 SCO - Simplicial Cohomology of Orbifolds
SCSCP 2.1.4 17/11/2013 Symbolic Computation Software Composability Protocol in GAP
Semigroups 2.1.1 09/09/2014 Methods for Semigroups
SgpViz 0.998 31/05/2008 A package for semigroup visualization
simpcomp 2.0.0 12/12/2013 A GAP toolbox for simplicial complexes
singular 12.04.28 28/04/2012 The GAP interface to Singular
SLA 0.14 22/11/2013 a package for doing computations with simple Lie algebras
Smallsemi 0.6.8 24/02/2014 A library of small semigroups
SONATA 2.6 07/11/2012 System of nearrings and their applications
Sophus 1.23 03/02/2006 Computing in nilpotent Lie algebras
SpinSym 1.5 01/02/2013 Brauer tables of spin-symmetric groups
SymbCompCC 1.2 19/11/2011 Computing with parametrised presentations for p-groups of fixed coclass
TomLib 1.2.4 10/11/2013 The GAP Library of Tables of Marks
ToolsForHomalg 2014.04.10 10/04/2014 Special methods and knowledge propagation tools
toric 1.8 03/05/2012 toric varieties and some combinatorial geometry computations
ToricVarieties 2012.12.22 22/12/2012 A package to handle toric varieties
unipot 1.2 16/11/2004 Computing with elements of unipotent subgroups of Chevalley groups
UnitLib 3.2.0 11/11/2014 Library of normalized unit groups of modular group algebras
Wedderga 4.7.1 07/11/2014 Wedderburn Decomposition of Group Algebras
XGAP 4.23 30/04/2012 a graphical user interface for GAP
XMod 2.26 26/11/2013 Crossed Modules and Cat1-Groups