Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.7.2

For an overview of changes in GAP 4.7.2 see file.

Links to the latest archives (choose one)

For Unix or macOS, use the .tar.gz, .tar.bz2 or .zip archive. For Windows, use the archive which also contains Windows binaries for GAP and some packages. If you have technical problems with running GAP with readline support under Windows, try the archive. To download an archive, click on the http link opposite to the appropriate archive format.

gap4r7p2_2013_12_01-10_17 downloads:

Archive format Archive size http link md5 checksum
tar.gz (256 MB) http b875fde9bd8bd8e90100fff5ca0ce6da
tar.bz2 (215 MB) http 20e8807e75e4d4fcd5f262d364339578
zip (276 MB) http f19ffe1646c261deb7ddb6a8bdd68d86 (338 MB) http 34875903640187f14e1dae9869bc1f3f (338 MB) http 94e797ee30d92fd4a1f6d4069f8bf3cf

This archive replaces GAP 4.6.5.

Packages included in this release

Each of the GAP 4.7.2 archives contains the core GAP system (the source code, data libraries, regression tests and documentation), and the following selection of packages:

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   2013.09.20     20/09/2013    Generate documentation from GAP source code
Automata   1.13     19/11/2011    A package on automata
AutomGrp     19/09/2008    Automata groups
AutPGrp   1.5     29/05/2012    Computing the Automorphism Group of a p-Group
Browse   1.8.3     18/10/2013    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.0.3     01/02/2013    Congruence subgroups of SL(2,Integers)
Convex   2012.11.15     15/11/2012    A package for fan combinatorics
CoReLG   0.2     24/11/2013    computation with real Lie groups
Crime   1.4     01/6/2011    A GAP Package to Calculate Group Cohomology and Massey Products
CRISP   1.3.7     24/05/2013    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.4     14/09/2012    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.4     30/10/2013    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.5.12     18/11/2013    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.0     06/10/2013    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.5     31/05/2012    genss - generic Schreier-Sims
gpd   1.22     20/11/2013    Groupoids, graphs of groups, and graphs of groupoids
GradedModules   2013.10.27     27/10/2013    A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg   2013.10.27     27/10/2013    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     21/11/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   2013.10.10     10/10/2013    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.2     28/05/2012    Bindings for low level C library IO
IO_ForHomalg   2012.10.24     24/10/2012    IO capabilities for the homalg project
IRREDSOL   1.2.3     24/05/2013    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.6.4     30/10/2013    Lie AlGebras and UNits of group Algebras
liealgdb   2.1     28/03/2010    A database of Lie algebras
LiePRing   1.5     08/11/2013    Database and algorithms for Lie p-rings
LieRing   2.1     22/12/2011    finitely presented Lie rings
linboxing   0.5.2     19/05/2011    access to LinBox linear algebra functions from GAP
LocalizeRingForHomalg   2013.11.11     11/11/2013    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   2013.11.20     20/11/2013    Matrices for the homalg project
ModIsom   2.1     29/11/2013    Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
Modules   2013.11.07     07/11/2013    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.4     12/01/2012    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.6     02/05/2013    orb - Methods to enumerate Orbits
ParGAP   1.4.0     17/11/2013    Parallel GAP
Polenta   1.3.1     01/06/2012    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.6     04/11/2011    Roots of a Polynomial as Radicals
RCWA   3.6.1     18/11/2013    Residue-Class-Wise Affine Groups
RDS   1.6     16/02/2012    A package for searching relative difference sets
recog   1.2     28/05/2011    A collection of group recognition methods
recogbase   1.2     28/05/2012    A framework for group recognition
Repsn   3.0.2     25/08/2011    A GAP4 Package for constructing representations of finite groups
ResClasses   3.3.2     18/11/2013    Set-Theoretic Computations with Residue Classes
RingsForHomalg   2013.11.01     01/11/2013    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   1.4     28/10/2013    Methods for Semigroups
SgpViz   0.998     31/05/2008    A package for semigroup visualization
simpcomp   1.6.1     31/01/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.7     07/06/2013    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   2013.04.16     16/04/2013    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.1.3     01/02/2013    Library of normalized unit groups of modular group algebras
Wedderga   4.6.1     17/11/2013    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