GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP 4.6.5

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

Links to the latest archives (choose one)

For Unix or Mac OS X, use the .tar.gz, .tar.bz2 or .zip archive. For Windows, use the -win.zip archive which also contains Windows binaries for GAP and some packages.

gap4r6p5_2013_07_20-20_02  [.tar.gz (250MB)]  [.tar.bz2 (209MB)]  [.zip (269MB)]  [-win.zip (331MB)]

This archive replaces GAP 4.6.4. It contains the following packages:

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.0  24/01/2006  ANU p-Quotient
AtlasRep 1.5.0  12/07/2011  A GAP Interface to the Atlas of Group Representations
AutoDoc 2013.06.26  26/06/2013  Tools for generating automatic GAPDoc documentations
Automata 1.13  19/11/2011  A package on automata
AutomGrp 1.1.4.1  19/09/2008  Automata groups
AutPGrp 1.5  29/05/2012  Computing the Automorphism Group of a p-Group
Browse 1.8.2  13/07/2012  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
Citrus 0.9999  06/07/2012  Computing with Semigroups of Transformations and Partial Permutations
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
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.11  10/01/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.3  27/03/2013  Example/Template of a GAP Package and Guidelines for Package Authors
ExamplesForHomalg 2012.10.23  23/10/2012  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.10  16/05/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.0.3  23/01/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.03.07  07/03/2013  Gauss - Extended Gauss Functionality for GAP
GaussForHomalg 2012.10.22  22/10/2012  GaussForHomalg - Gauss Functionality for homalg
GBNP 1.0.1  12/05/2010  computing Groebner bases of noncommutative polynomials
genss 1.5  31/05/2012  genss - generic Schreier-Sims
gpd 1.19  11/03/2013  Groupoids, graphs of groups, and graphs of groupoids
GradedModules 2013.02.07  07/02/2013  A homalg based package for the Abelian category of finitely presented graded modules over a computable graded ring
GradedRingForHomalg 2013.02.07  07/02/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 1.10.12  05/03/2013  Homological Algebra Programming
HAPcryst 0.1.10  19/04/2012  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 2012.10.28  28/10/2012  A homological algebra meta-package for computable Abelian categories
HomalgToCAS 2013.02.22  22/02/2013  A window to the outer world
idrel 2.14  11/01/2013  Identities among relations
IO 4.2  28/05/2012  Bindings for low level C library IO
IO_ForHomalg 2012.10.22  22/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.06  07/01/2013  including double coset rewriting systems
kbmag 1.5  06/01/2009  Knuth-Bendix on Monoids and Automatic Groups
LAGUNA 3.6.3  01/02/2013  Lie AlGebras and UNits of group Algebras
liealgdb 2.1  28/03/2010  A database of Lie algebras
linboxing 0.5.2  19/05/2011  access to LinBox linear algebra functions from GAP
LocalizeRingForHomalg 2012.10.26  26/10/2012  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.04.16  16/04/2013  Matrices for the homalg project
Modules 2013.05.05  05/05/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.1.4  27/03/2013  OpenMath functionality in GAP
orb 4.5  30/05/2012  orb - Methods to enumerate Orbits
ParGAP 1.3.5  01/06/2012  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.7.8  03/06/2010  Interfacing the geometry software polymake
qaos main-1.0.28  20/01/2008  Interfacing the QaoS database from GAP
QuaGroup 1.6  13/02/2012  a package for doing computations with quantum groups
RadiRoot 2.6  04/11/2011  Roots of a Polynomial as Radicals
RCWA 3.5.1  30/12/2012  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.0  12/12/2012  Set-Theoretic Computations with Residue Classes
RingsForHomalg 2013.04.19  19/04/2013  Dictionaries of external rings
SCO 2011.08.11  11/08/2011  SCO - Simplicial Cohomology of Orbifolds
SCSCP 2.1.2  31/05/2012  Symbolic Computation Software Composability Protocol in GAP
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
Smallsemi 0.6.6  24/04/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.2  30/09/2011  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.5.4  28/03/2013  Wedderburn Decomposition of Group Algebras
XGAP 4.23  30/04/2012  a graphical user interface for GAP
XMod 2.22  25/01/2013  Crossed Modules and Cat1-Groups