Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 


GAP Manuals Online

Here are HTML and PDF versions of the manuals of the GAP 4.8 core system.

Book name            Description
Tutorial[PDF]     Tutorial, getting started with GAP
Reference[PDF]     The GAP reference manual
Changes[PDF]     Changes from earlier versions

There is also a common preface for main GAP manuals.

Package manuals

The following manuals of current GAP packages are also available.

Book name            Description
4ti2Interface[PDF]     An interface to 4ti2.
ACE[PDF]     Advanced Coset Enumerator
AClib[PDF]     Almost Crystallographic Groups - A Library and Algorithms
Alnuth[PDF]     Algebraic number theory and an interface to PARI/GP
ANUPQ[PDF]     ANU p-Quotient
AtlasRep[PDF]     An Atlas of Group Representations
AutoDoc[PDF]     Generate documentation from GAP source code
AutomGrp[PDF]     Automata Groups
AutPGrp[PDF]     Computing the Automorphism Group of a p-Group
Browse[PDF]     ncurses interface and browsing applications
CAP[PDF]     Categories, Algorithms, Programming
Carat[PDF]     Interface to CARAT, a crystallographic groups package
Circle[PDF]     Adjoint groups of finite rings
cohomolo[PDF]     Computing Cohomology groups and Schur Multipliers
Congruence[PDF]     Congruence subgroups of SL(2,Integers)
Convex[PDF]     A package to provide convex geometry functions to GAP.
CoReLG[PDF]     Computing with real Lie groups
crime[PDF]     The Crime Package
CRISP[PDF]     Computing Radicals, Injectors, Projectors of soluble groups
Cryst[PDF]     Computing with crystallographic groups
CrystCat[PDF]     The crystallographic groups catalog
CTblLib[PDF]     The GAP Character Table Library
Cubefree[PDF]     Constructing the groups of a given cubefree order
cvec[PDF]     Compact vectors over finite fields
DESIGN[PDF]     The Design Package for GAP
Digraphs[PDF]     Digraphs - Methods for digraphs
EDIM[PDF]     Elementary Divisors of Integer Matrices
Example[PDF]     Example/Template of a GAP Package
ExamplesForHomalg[PDF]     Examples for the GAP Package homalg
FactInt[PDF]     A GAP4 Package for FACToring INTegers
FGA[PDF]     Free Group Algorithms
FinInG[PDF]     FinInG - Finite Incidence Geometry
Float[PDF]     Floating-point numbers
FORMAT[PDF]     Formations of Finite Soluble Groups
Forms[PDF]     Forms - Sesquilinear and Quadratic
fplsa[PDF]     Interface to fast external Lie Todd-Coxeter Program
FR[PDF]     Functionally recursive and automata groups
fwtree[PDF]     Computing trees related to some pro-p-groups of finite width
GAPDoc[PDF]     a meta package for GAP documentation
GAPDoc Example[PDF]     example help book for GAPDoc
Gauss[PDF]     Extended Gauss functionality for GAP
GaussForHomalg[PDF]     Gauss functionality for the homalg project
GBNP[PDF]     Non-commutative Gröbner bases
GeneralizedMorphismsForCAP[PDF]     Implementations of generalized morphisms for the CAP project
genss[PDF]     Generic Schreier-Sims
Gpd[PDF]     Finite Groupoids and Graphs of Groups
GradedModules[PDF]     A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings
GradedRingForHomalg[PDF]     A homalg based Package for Graded Rings
GRAPE[PDF]     GRaph Algorithms using PErmutation groups
GrpConst[PDF]     Constructing the Groups of a Given Order
Guarana[PDF]     Applications of Lie methods for computations with infinite polycyclic groups
GUAVA[PDF]     GUAVA Coding Theory Package
HAP[PDF]     Homological Algebra Programming Package
HAPcryst[PDF]     The crystallographic group extension to HAP
HAPprog[PDF]     An experimental framework for objectifying the data structures of Hap
HAPprime[PDF]     A small prime-power group extension to HAP
HAPprime Datatypes[PDF]     Datatype reference for HAPprime
hecke[PDF]     Hecke - Specht 2.4 ported to GAP 4
HeLP[PDF]     Hertweck-Luthar-Passi method.
homalg[PDF]     A homological algebra meta-package for computable Abelian categories
HomalgToCAS[PDF]     A window to the outer world
IdRel[PDF]     Identities among Relations
IntPic[PDF]     IntPic, a GAP package for drawing integers
IO[PDF]     Bindings for low level C library I/O routines
IO_ForHomalg[PDF]     IO capabilities for the homalg project
irredsol[PDF]     A library of irreducible solvable linear groups over finite fields
ITC[PDF]     Interactive Todd-Coxeter computations
json[PDF]     Reading and Writing JSON
Kan[PDF]     Computing with Kan extensions
kbmag[PDF]     Knuth-Bendix on Monoids and Automatic Groups
LAGUNA[PDF]     Lie AlGebras and UNits of group Algebras
LieAlgDB[PDF]     A library of Lie algebras
LiePRing[PDF]     LiePRing Package
LieRing[PDF]     Computing with Lie rings
linboxing[PDF]     Kernel-level access to LinBox linear algebra
LinearAlgebraForCAP[PDF]     Category of Matrices over a Field for CAP
LocalizeRingForHomalg[PDF]     A Package for Localization of Polynomial Rings
loops[PDF]     The LOOPS Package: Loops and quasigroups for GAP
MapClass[PDF]     Documentation for MapClass Package
matgrp[PDF]     Matrix Group Interface
MatricesForHomalg[PDF]     Lazy evaluated matrices with clever operations for the homalg project
ModIsom[PDF]     Computing with nilpotent associative algebras
ModulePresentationsForCAP[PDF]     Category R-pres for CAP
Modules[PDF]     A homalg based package for the Abelian category of finitely presented modules over computable rings
Nilmat[PDF]     Computation with nilpotent matrix groups
NormalizInterface[PDF]     GAP wrapper for Normaliz
nq[PDF]     Nilpotent Quotient Algorithm
NumericalSgps[PDF]     NumericalSgps, a GAP package for numerical semigroups
OpenMath[PDF]     OpenMath functionality in GAP
orb[PDF]     Methods to enumerate orbits
ParGAP[PDF]     Parallel GAP
PatternClass[PDF]     A permutation pattern class package
PERMUT[PDF]     PERMUT: A package to deal with permutability in finite groups
Polenta[PDF]     Polycyclic presentations for matrix groups
polycyclic[PDF]     Computation with polycyclic groups
PolymakeInterface[PDF]     An Interface to polymake
polymaking[PDF]     A package for using polymake in GAP
profiling[PDF]     Line by line profiling and code coverage for GAP
QaoS[PDF]     QaoS - Querying Algebraic Objects System
QPA[PDF]     Quivers and Path Algebras
QuaGroup[PDF]     a package for doing computations with quantum groups
RadiRoot[PDF]     Roots of a Polynomial as Radicals
RCWA[PDF]     [R]esidue-[C]lass-[W]ise [A]ffine groups
RDS[PDF]     Relative Difference Sets
recog[PDF]     A collection of group recognition methods
recogbase[PDF]     A framework for group recognition
Repsn[PDF]     Constructing matrix representations of finite groups
ResClasses[PDF]     Computations with Residue Classes and their Set-Theoretic Unions
RingsForHomalg[PDF]     Dictionaries of external rings for the homalg project
SCO[PDF]     SCO - Simplicial Cohomology of Orbifolds
SCSCP[PDF]     Symbolic Computation Software Composability Protocol
Semigroups[PDF]     Semigroups
SglPPow[PDF]     Database of groups of prime-power order
simpcomp[PDF]     A GAP toolbox for simplicial complexes
singular[PDF]     The GAP interface to Singular
SLA[PDF]     Computing with simple Lie algebras
Smallsemi[PDF]     a library of small semigroups
SONATA[PDF]     System of nearrings and their applications
SONATA Tutorial[PDF]     Eight easy pieces for SONATA: a SONATA tutorial
Sophus[PDF]     Computing with nilpotent Lie algebras
SpinSym[PDF]     The SpinSym Package
SymbCompCC[PDF]     SymbCompCC/Symbolic computation with p-groups of fixed coclass
TomLib[PDF]     The GAP Library of Tables of Marks
ToolsForHomalg[PDF]     Provides special methods and knowledge propagation tools
toric[PDF]     toric variety package
ToricVarieties[PDF]     A package to compute properties of toric varieties
unipot[PDF]     Computing with elements of unipotent subgroups of Chevalley groups
UnitLib[PDF]     The library of normalized unit groups of modular group algebras
Utils[PDF]     Utility functions in GAP
Wedderga[PDF]     Wedderga
XGAP[PDF]     XGAP - a graphical user interface for GAP
XMod[PDF]     Crossed Modules and Cat1-Groups in GAP
XModAlg[PDF]     Crossed Modules and Cat1-Algebras in GAP