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.
Alternatively, you may use the -win.zip archive and edit .bat files manually following instructions
from the INSTALL file. In case of techinical
problems with readline support under Windows, try the -noreadline-win.zip archive.
| 4ti2Interface | 2015.04.29 | 29/04/2015 | 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 | 2015.04.29 | 29/04/2015 | 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.3 | 13/02/2015 | 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.20 | 02/12/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.06 | 06/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.2.1 | 27/03/2015 | 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 Groebner bases of noncommutative polynomials |
| genss | 1.6.2 | 24/09/2014 | Generic Schreier-Sims |
| gpd | 1.34 | 05/06/2015 | Groupoids, graphs of groups, and graphs of groupoids |
| GradedModules | 2015.01.30 | 30/01/2015 | 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 | 2015.03.31 | 31/03/2015 | A homological algebra meta-package for computable Abelian categories |
| HomalgToCAS | 2015.03.20 | 20/03/2015 | A window to the outer world |
| idrel | 2.31 | 01/06/2015 | Identities among relations |
| IntPic | 0.2.1 | 05/06/2015 | A package for drawing integers |
| IO | 4.4.4 | 10/11/2014 | Bindings for low level C library I/O routines |
| IO_ForHomalg | 2015.03.16 | 16/03/2015 | 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 |
| json | 0.8.2 | 08/02/2015 | Reading and Writing JSON |
| kan | 1.21 | 02/06/2015 | 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.8 | 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.11.20 | 20/11/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 | 2015.02.03 | 03/02/2015 | 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 | 2015.03.19 | 19/03/2015 | 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 | 1.0.1 | 05/06/2015 | 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 |
| PatternClass | 1.12358132134 | 29/04/2015 | A permutation pattern class package |
| 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 | 2015.01.26 | 26/01/2015 | 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 |
| QPA | 1.21 | 03/06/2015 | Quivers and Path Algebras |
| 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 | 2015.02.11 | 11/02/2015 | 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.5 | 01/06/2015 | Methods for Semigroups |
| SglPPow | 1.0 | 21/11/2014 | Database of groups of prime-power order for some prime-powers |
| 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.5 | 21/11/2014 | The GAP Library of Tables of Marks |
| ToolsForHomalg | 2014.12.08 | 08/12/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.2 | 24/11/2014 | Wedderburn Decomposition of Group Algebras |
| XGAP | 4.23 | 30/04/2012 | a graphical user interface for GAP |
| XMod | 2.41 | 05/06/2015 | Crossed Modules and Cat1-Groups |