GAP Packages
[Accepted packages]
[Deposited packages]
For convenience of our users, the GAP Group redistributes a set of user
contributed packages with GAP. While we distribute them, the
package authors remain responsible for their maintenance.
There is a designated and documented mechanism for loading packages into
GAP including a smooth integration of the documentation
into the GAP help system. (See
this page for hints how to write
your own package and the reference manual
chapter
about installing and loading packages.)
Some packages represent a piece of work equivalent to a sizeable
mathematical publication. To acknowledge such work there used to be a
refereeing process for packages. We call a package an
accepted package (with GAP 3 the term
share packages was used) when it was successfully refereed or
already distributed with GAP before the refereeing
process was started. All other packages distributed here and not in
this category are called deposited packages.
This page lists current versions of GAP packages
redistributed with GAP, and the page
Manuals informs about presently
available package manuals.
If you are interested to find GAP packages hosted on GitHub or
BitBucket, please see this page.
Also see Data Libraries,
Deposited Contributions,
and Undeposited Implementations.
Accepted Packages
Here is the current list of accepted packages. They are either
redistributed by the GAP Group since before the refereeing
process was setup, or they have been successfully refereed.
The packages are sorted alphabetically, except for some data library
packages, given in a separate list.
Follow the links to find brief descriptions of each package, as well as
further information including download and installation instructions.

ACE
5.6.1 (26/09/2022) by G. Gamble, A. Hulpke, G. Havas, C. Ramsay, M. Horn.
Advanced Coset Enumerator

Alnuth
3.2.1 (05/04/2022) by B. Assmann, A. Distler, B. Eick, The GAP Team.
Algebraic number theory and an interface to PARI/GP

ANUPQ
3.2.6 (07/03/2022) by G. Gamble, W. Nickel, E. O'Brien, M. Horn.
ANU pQuotient

Automata
1.15 (20/03/2022) by M. Delgado, S. Linton, J. J. Morais.
A package on automata

AutomGrp
1.3.2 (30/09/2019) by Y. Muntyan, D. Savchuk.
Automata groups

AutPGrp
1.11 (05/08/2022) by B. Eick, M. Horn, E. O'Brien.
Computing the Automorphism Group of a pGroup

CaratInterface
2.3.4 (29/07/2022) by F. Gähler.
Interface to CARAT, a crystallographic groups package

Circle
1.6.5 (27/04/2022) by O. Konovalov, P. Soules.
Adjoint groups of finite rings

cohomolo
1.6.10 (30/03/2022) by D. Holt, The GAP Team.
Cohomology groups of finite groups on finite modules

Congruence
1.2.4 (27/04/2022) by A. Dooms, E. Jespers, O. Konovalov, H. Verrill.
Congruence subgroups of SL(2,Integers)

CoReLG
1.56 (24/02/2022) by H. Dietrich, P. Faccin, W. de Graaf.
Computing with real Lie algebras

CRIME
1.6 (17/03/2022) by M. Bishop, The GAP Team.
A GAP Package to Calculate Group Cohomology and Massey Products

CRISP
1.4.6 (15/12/2022) by B. Höfling.
Computing with Radicals, Injectors, Schunck classes and Projectors

Cryst
4.1.25 (29/07/2022) by B. Eick, F. Gähler, W. Nickel.
Computing with crystallographic groups

Cubefree
1.19 (21/02/2022) by H. Dietrich.
Constructing the Groups of a Given Cubefree Order

DESIGN
1.7 (18/03/2019) by L. H. Soicher.
The Design Package for GAP

DifSets
2.3.1 (14/09/2019) by D. Peifer.
an algorithm for enumerating all difference sets in a group

EDIM
1.3.6 (23/09/2022) by F. Lübeck.
Elementary Divisors of Integer Matrices

FactInt
1.6.3 (15/11/2019) by S. Kohl, A. Konovalov.
Advanced Methods for Factoring Integers

FGA
1.4.0 (23/03/2018) by C. Sievers.
Free Group Algorithms

FinInG
1.5.4 (13/12/2022) by J. Bamberg, A. Betten, P. Cara, J. De Beule, M. Lavrauw, M. Neunhoeffer, M. Horn.
Finite Incidence Geometry

FORMAT
1.4.3 (28/01/2020) by B. Eick, C. R. Wright, The GAP Team.
Computing with formations of finite solvable groups.

Forms
1.2.9 (14/10/2022) by J. Bamberg, J. De Beule, M. Horn.
Sesquilinear and Quadratic

FPLSA
1.2.5 (10/03/2022) by V. Gerdt, V. Kornyak, M. Horn.
Finitely Presented Lie Algebras

GAPDoc
1.6.6 (01/07/2022) by F. Lübeck, M. Neunhöffer.
A Meta Package for GAP Documentation

GBNP
1.0.5 (09/03/2022) by A. Cohen, J. Knopper, The GAP Team.
computing Gröbner bases of noncommutative polynomials

GRAPE
4.9.0 (09/12/2022) by L. H. Soicher.
GRaph Algorithms using PErmutation groups

groupoids
1.71 (07/08/2022) by E. J. Moore, C. Wensley.
Calculations with finite groupoids and their homomorphisms

GrpConst
2.6.3 (14/11/2022) by H. U. Besche, B. Eick, M. Horn.
Constructing the Groups of a Given Order

GUAVA
3.17 (05/09/2022) by R. Baart, T. Boothby, J. Cramwinckel, J. Fields, D. Joyner, R. Miller, E. Minkes, E. Roijackers, L. Ruscio, C. Tjhai.
a GAP package for computing with errorcorrecting codes

HAP
1.47 (14/08/2022) by G. Ellis.
Homological Algebra Programming

idrel
2.44 (04/06/2022) by A. Heyworth, C. Wensley.
Identities among relations

IRREDSOL
1.4.4 (16/11/2022) by B. Höfling.
A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groups

ITC
1.5.1 (01/03/2022) by V. Felsch, L. Hippe, J. Neubüser, The GAP Team.
Interactive ToddCoxeter

kan
1.34 (13/03/2022) by A. Heyworth, C. Wensley.
including double coset rewriting systems

kbmag
1.5.10 (23/09/2022) by D. Holt, The GAP Team.
KnuthBendix on Monoids and Automatic Groups

LAGUNA
3.9.5 (27/04/2022) by V. Bovdi, O. Konovalov, R. Rossmanith, C. Schneider.
Lie AlGebras and UNits of group Algebras

LieAlgDB
2.2.1 (07/10/2019) by S. Cicalò, W. A. de Graaf, C. Schneider, The GAP Team.
A database of Lie algebras

LiePRing
2.8 (21/10/2022) by B. Eick, M. VaughanLee.
Database and algorithms for Lie prings

LieRing
2.4.2 (10/02/2022) by S. Cicalò, W. A. de Graaf, The GAP Team.
Computing with finitely presented Lie rings

loops
3.4.3 (14/11/2022) by G. P. Nagy, P. Vojtěchovský.
Computing with quasigroups and loops in GAP

lpres
1.0.3 (20/03/2022) by R. Hartung, L. Bartholdi.
Nilpotent Quotients of LPresented Groups

MapClass
1.4.6 (17/09/2022) by A. James, K. Magaard, S. Shpectorov, H. Volklein.
A Package For Mapping Class Orbit Computation

ModIsom
2.5.3 (09/08/2022) by B. Eick, O. Konovalov.
Computing automorphisms and checking isomorphisms for modular group algebras of finite pgroups

Nilmat
1.4.2 (05/08/2022) by A. Detinko, B. Eick, D. Flannery.
Computing with nilpotent matrix groups

NoCK
1.5 (30/03/2022) by M. Bocheński, P. Jastrzębski, A. Szczepkowska, A. Tralle, A. Woike, The GAP Team.
Computing obstruction for the existence of compact CliffordKlein form

nq
2.5.9 (26/10/2022) by M. Horn, W. Nickel.
Nilpotent Quotients of Finitely Presented Groups

NumericalSgps
1.3.1 (27/07/2022) by M. Delgado, P. A. GarciaSanchez, J. Morais, C. Cisco, B. A. Heredia, J. I. GarcíaGarcía, S. Gutsche, A. HerreraPoyatos, M. Horn, H. Martin Cruz, N. Maugeri, C. J. Moreno Ávila, I. Ojeda, C. O'Neill, A. Sammartano, A. SánchezR. Navarro, K. Stokes, S. Francesco, G. Zito, J. Angulo Rodríguez.
A package for numerical semigroups

OpenMath
11.5.2 (06/12/2022) by M. Costantini, O. Konovalov, M. Nicosia, A. Solomon.
OpenMath functionality in GAP

permut
2.0.4 (27/03/2022) by A. BallesterBolinches, E. CosmeLlópez, R. EstebanRomero.
A package to deal with permutability in finite groups

Polenta
1.3.10 (29/03/2022) by B. Assmann, M. Horn.
Polycyclic presentations for matrix groups

Polycyclic
2.16 (25/07/2020) by B. Eick, W. Nickel, M. Horn.
Computation with polycyclic groups

QuaGroup
1.8.3 (10/02/2022) by W. A. de Graaf, The GAP Team.
Computations with quantum groups

RadiRoot
2.9 (01/03/2022) by A. Distler, The GAP Team.
Roots of a Polynomial as Radicals

RCWA
4.7.1 (06/12/2022) by S. Kohl.
ResidueClassWise Affine Groups

RDS
1.8 (21/02/2022) by M. Roeder, The GAP Team.
A package for searching relative difference sets

Repsn
3.1.0 (22/02/2019) by V. Dabbaghian, The GAP Team.
Constructing representations of finite groups

SCSCP
2.4.0 (10/12/2022) by O. Konovalov, S. Linton.
Symbolic Computation Software Composability Protocol in GAP

SglPPow
2.3 (04/11/2022) by M. VaughanLee, B. Eick.
Database of groups of primepower order for some primepowers

simpcomp
2.1.14 (15/03/2022) by F. Effenberger, J. Spreer.
A GAP toolbox for simplicial complexes

SLA
1.5.3 (15/11/2019) by W. A. de Graaf, The GAP Team.
Computing with simple Lie algebras

SONATA
2.9.6 (06/12/2022) by E. Aichinger, F. Binder, J. Ecker, P. Mayr, C. Nöbauer.
System of nearrings and their applications

Sophus
1.27 (09/08/2022) by C. Schneider, The GAP Team.
Computing in nilpotent Lie algebras

SymbCompCC
1.3.2 (10/02/2022) by D. Feichtenschlager, The GAP Team.
Computing with parametrised presentations for pgroups of fixed coclass

Toric
1.9.5 (07/10/2019) by D. Joyner, The GAP Team.
toric varieties and some combinatorial geometry computations

UGALY
4.0.3 (14/07/2022) by K. Hannouch, S. Tornier.
Universal Groups Acting LocallY

UnitLib
4.1.0 (26/04/2022) by O. Konovalov, O. Yakimenko.
Library of normalized unit groups of modular group algebras

Wedderga
4.10.2 (29/04/2022) by G. K. Bakshi, O. Broche Cristo, A. Herman, O. Konovalov, S. Maheshwary, G. Olteanu, A. Olivieri, A. del Rio, I. Van Gelder.
Wedderburn Decomposition of Group Algebras

XGAP
4.31 (17/02/2022) by F. Celler, M. Horn, M. Neunhöffer.
a graphical user interface for GAP

XMod
2.88 (28/04/2022) by C. Wensley, M. Alp, A. Odabas, E. O. Uslu.
Crossed Modules and Cat1Groups
The following packages mainly contain and/or provide access to
data libraries.
These are either refereed and accepted
packages or they were a part of the GAP library which is
now separated into a package.

AClib
1.3.2 (28/01/2020) by K. Dekimpe, B. Eick.
Almost Crystallographic Groups  A Library and Algorithms

AtlasRep
2.1.6 (19/10/2022) by R. A. Wilson, R. A. Parker, S. Nickerson, J. N. Bray, T. Breuer.
A GAP Interface to the Atlas of Group Representations

CrystCat
1.1.10 (29/07/2022) by V. Felsch, F. Gähler.
The crystallographic groups catalog

CTblLib
1.3.4 (26/04/2022) by T. Breuer.
The GAP Character Table Library

PrimGrp
3.4.3 (10/12/2022) by A. Hulpke, O. Konovalov, C. M. RoneyDougal, C. Russell.
GAP Primitive Permutation Groups Library

SmallGrp
1.5.1 (04/11/2022) by H. U. Besche, B. Eick, E. O'Brien, M. Horn.
The GAP Small Groups Library

TomLib
1.2.9 (23/10/2019) by T. Merkwitz, L. Naughton, G. Pfeiffer.
The GAP Library of Tables of Marks

TransGrp
3.6.3 (19/07/2022) by A. Hulpke.
Transitive Groups Library
Deposited Packages
The following packages were not submitted for refereeing but are distributed with GAP.
(Note that we formally stopped refereeing packages in February 2024.)

4ti2Interface
2022.0901 (19/09/2022) by S. Gutsche.
A link to 4ti2

AGT
0.3 (22/10/2022) by R. J. Evans.
Algebraic Graph Theory

AutoDoc
2022.10.20 (20/10/2022) by S. Gutsche, M. Horn, M. Barakat, M. Pfeiffer, Ø. Skartsæterhagen, C. Wensley, G. Whitney, F. Zickgraf.
Generate documentation from GAP source code

Browse
1.8.19 (08/12/2022) by T. Breuer, F. Lübeck.
browsing applications and ncurses interface

CAP
2022.1211 (16/12/2022) by S. Gutsche, S. Posur, Ø. Skartsæterhagen.
Categories, Algorithms, Programming

CddInterface
2022.11.01 (01/11/2022) by K. Saleh.
Gap interface to Cdd package

classicpres
1.22 (06/05/2022) by A. Hulpke, E. O'Brien, C. LeedhamGreen, M. Whybrow, G. de Franceschi.
Classical Group Presentations

crypting
0.10.4 (02/11/2022) by M. Pfeiffer, The GAP Team.
Hashes and Crypto in GAP

curlInterface
2.3.1 (25/09/2022) by C. Jefferson, M. Horn, M. Young.
Simple Web Access

cvec
2.7.6 (06/08/2022) by M. Neunhöffer, M. Horn.
Compact vectors over finite fields

datastructures
0.3.0 (04/11/2022) by M. Pfeiffer, M. Horn, C. Jefferson, S. Linton.
Collection of standard data structures for GAP

DeepThought
1.0.6 (06/10/2022) by N. Wagner, M. Horn.
This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm.

Digraphs
1.6.1 (06/12/2022) by M. AnagnostopoulouMerkouri, J. De Beule, F. Buck, S. Burrell, G. Campbell, R. Cirpons, A. Clayton, T. ContiLeslie, J. Edwards, L. Elliott, I. Fernando, E. Gilligan, S. Gutsche, S. Harper, M. Horn, C. Jefferson, J. Jonusas, O. Konovalov, A. Lee, J. Mitchell, M. Pfeiffer, L. Racine, C. Russell, A. Schaefer, I. Scott, K. Sharma, F. Smith, B. Spiers, M. Tsalakou, M. Whyte, W. A. Wilson, M. Young.
Graphs, digraphs, and multidigraphs in GAP

Example
4.3.2 (01/08/2022) by W. Nickel, G. Gamble, O. Konovalov.
Example/Template of a GAP Package

ExamplesForHomalg
2022.1101 (23/11/2022) by M. Barakat, S. Görtzen, M. LangeHegermann.
Examples for the GAP Package homalg

ferret
1.0.9 (18/10/2022) by C. Jefferson.
Backtrack Search in Permutation Groups

float
1.0.3 (15/02/2022) by L. Bartholdi.
Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP

FR
2.4.12 (03/12/2022) by L. Bartholdi.
Computations with functionally recursive groups

Francy
1.2.5 (05/09/2022) by M. Martins.
Framework for Interactive Discrete Mathematics

fwtree
1.3 (28/01/2020) by B. Eick, T. Rossmann, The GAP Team.
Computing trees related to some propgroups of finite width

Gauss
2022.1101 (03/11/2022) by S. Görtzen, M. Barakat, S. Gutsche.
Extended Gauss functionality for GAP

GaussForHomalg
2022.0803 (26/08/2022) by S. Görtzen, M. Barakat.
Gauss functionality for the homalg project

GeneralizedMorphismsForCAP
2022.1201 (14/12/2022) by S. Gutsche, S. Posur.
Implementations of generalized morphisms for the CAP project

genss
1.6.8 (26/09/2022) by M. Neunhöffer, F. Noeske, M. Horn.
Generic SchreierSims

GradedModules
2022.0902 (28/09/2022) by M. Barakat, S. Gutsche, S. Jambor, M. LangeHegermann, A. Lorenz, O. Motsak.
A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings

GradedRingForHomalg
2022.1101 (23/11/2022) by M. Barakat, S. Gutsche, M. Kirschmer, S. Jambor, M. LangeHegermann, D. Robertz.
Endow Commutative Rings with an Abelian Grading

Guarana
0.96.3 (11/02/2022) by B. Assmann, J. McDermott, The GAP Team.
Applications of Lie methods for computations with infinite polycyclic groups

HAPcryst
0.1.15 (26/07/2022) by M. Roeder, The GAP Team.
A HAP extension for crystallographic groups

hecke
1.5.3 (01/09/2019) by D. Traytel, The GAP Team.
Calculating decomposition matrices of Hecke algebras

HeLP
3.5 (20/12/2019) by A. Bächle, L. Margolis.
HertweckLutharPassi method.

homalg
2022.1101 (23/11/2022) by M. Barakat, S. Gutsche, M. LangeHegermann.
A homological algebra metapackage for computable Abelian categories

HomalgToCAS
2022.1102 (03/11/2022) by T. Bächler, M. Barakat, T. Breuer, S. Görtzen, S. Gutsche, F. Lübeck, V. Wagh.
A window to the outer world

images
1.3.1 (16/11/2021) by C. Jefferson, M. Pfeiffer, R. Waldecker, E. Jonauskyte.
Minimal and Canonical images

IntPic
0.3.0 (02/06/2022) by M. Delgado.
A package for drawing integers

IO
4.8.0 (18/10/2022) by M. Neunhöffer, M. Horn.
Bindings for low level C library I/O routines

IO_ForHomalg
2022.1101 (03/11/2022) by T. Bächler, M. Barakat, S. Gutsche, M. Neunhöffer, D. Robertz.
IO capabilities for the homalg project

json
2.1.1 (18/10/2022) by C. Jefferson.
Reading and Writing JSON

JupyterKernel
1.4.1 (01/09/2021) by M. Pfeiffer, M. Martins, The GAP Team, T. Breuer, P. GarcíaSánchez, S. Gutsche, M. Horn, F. Isuru, A. Konovalov, Z. Newbery, S. Siccha.
Jupyter kernel written in GAP

JupyterViz
1.5.6 (16/08/2022) by N. Carter.
Visualization Tools for Jupyter and the GAP REPL

LinearAlgebraForCAP
2022.1204 (14/12/2022) by S. Gutsche, S. Posur.
Category of Matrices over a Field for CAP

LocalizeRingForHomalg
2022.1101 (23/11/2022) by M. Barakat, M. LangeHegermann, V. Wagh.
A Package for Localization of Polynomial Rings

MajoranaAlgebras
1.5.1 (09/12/2022) by M. Pfeiffer, M. Whybrow, The GAP Team.
A package for constructing Majorana algebras and representations

matgrp
0.70 (01/03/2022) by A. Hulpke.
Matric Group Interface Routines

MatricesForHomalg
2022.1201 (01/12/2022) by M. Barakat, M. LangeHegermann, M. Leuner, V. Wagh.
Matrices for the homalg project

ModulePresentationsForCAP
2022.1201 (14/12/2022) by S. Gutsche, S. Posur.
Category Rpres for CAP

Modules
2022.1101 (23/11/2022) by T. Bächler, M. Barakat, F. Diebold, S. Gutsche, M. LangeHegermann, V. Wagh.
A homalg based package for the Abelian category of finitely presented modules over computable rings

MonoidalCategories
2022.1201 (14/12/2022) by M. Barakat, S. Gutsche, S. Posur, T. Kuhmichel.
Monoidal and monoidal (co)closed categories

NConvex
2022.0901 (30/09/2022) by K. Saleh, S. Gutsche.
A Gap package to perform polyhedral computations

NormalizInterface
1.3.5 (05/11/2022) by S. Gutsche, M. Horn, C. Söger.
GAP wrapper for Normaliz

orb
4.9.0 (26/09/2022) by J. Mueller, M. Neunhöffer, F. Noeske, M. Horn.
Methods to enumerate orbits

PackageManager
1.3.2 (06/10/2022) by M. Young.
Easily download and install GAP packages

PatternClass
2.4.3 (17/10/2022) by R. Hoffmann, S. Linton, M. Albert.
A permutation pattern class package

polymaking
0.8.6 (08/07/2021) by M. Roeder, The GAP Team.
Interfacing the geometry software polymake

profiling
2.5.1 (10/10/2022) by C. Jefferson.
Line by line profiling and code coverage for GAP

QPA
1.34 (02/08/2022) by E. Green, O. Solberg.
Quivers and Path Algebras

recog
1.4.2 (27/09/2022) by M. Neunhöffer, Á. Seress, D. Bernhardt, N. Ankaralioglu, P. Brooksbank, F. Celler, P. Hähndel, A. Hulpke, S. Howe, C. Jefferson, M. Law, S. Linton, G. Malle, A. Niemeyer, E. O'Brien, C. M. RoneyDougal, M. Horn, S. Siccha, W. Wilson, M. Whybrow.
A package for constructive recognition of permutation and matrix groups

RepnDecomp
1.2.1 (02/03/2022) by K. Hymabaccus, D. Pasechnik.
Decompose representations of finite groups into irreducibles

ResClasses
4.7.3 (29/07/2022) by S. Kohl.
SetTheoretic Computations with Residue Classes

RingsForHomalg
2022.1101 (03/11/2022) by M. Barakat, S. Görtzen, M. Kirschmer, M. LangeHegermann, O. Motsak, M. Neunhöffer, D. Robertz, H. Schönemann, A. Steenpaß, V. Wagh.
Dictionaries of external rings

SCO
2022.0901 (07/09/2022) by S. Görtzen, M. Barakat.
SCO  Simplicial Cohomology of Orbifolds

Semigroups
5.2.0 (01/12/2022) by J. Mitchell, M. AnagnostopoulouMerkouri, T. Breuer, S. Burrell, R. Cirpons, T. ContiLeslie, J. Edwards, A. EgriNagy, L. Elliott, F. Flores Brito, N. Ham, R. Hancock, M. Horn, C. Jefferson, J. Jonusas, C. Nagpal, O. Konovalov, A. Konstantinidi, D. V. Pasechnik, M. Pfeiffer, C. Russell, J. Schmidt, S. Siccha, F. Smith, B. Spiers, N. Thiéry, M. Tsalakou, M. Whyte, W. A. Wilson, M. Young.
A package for semigroups and monoids

SgpViz
0.999.5 (20/03/2022) by M. Delgado, J. Morais.
A package for semigroup visualization

singular
2022.09.23 (23/09/2022) by M. Costantini, W. A. de Graaf, The GAP Team.
A GAP interface to Singular

SL2Reps
1.1 (26/11/2022) by S. Ng, Y. Wang, S. Wilson.
Constructing symmetric representations of SL(2,Z).

Smallsemi
0.6.13 (28/02/2022) by A. Distler, J. Mitchell.
A library of small semigroups

SpinSym
1.5.2 (01/10/2019) by L. Maas, The GAP Team.
Brauer tables of spinsymmetric groups

StandardFF
0.9.4 (15/08/2022) by F. Lübeck.
Standard finite fields and cyclic generators

Thelma
1.3 (03/03/2022) by V. Bovdi, V. Laver.
THreshold ELements, Modeling and Applications

ToolsForHomalg
2022.1201 (06/12/2022) by M. Barakat, S. Gutsche, M. LangeHegermann.
Special methods and knowledge propagation tools

ToricVarieties
2022.07.13 (13/07/2022) by S. Gutsche, M. Bies.
A package to handle toric varieties

Unipot
1.5 (22/02/2022) by S. Haller, M. Horn.
Computing with elements of unipotent subgroups of Chevalley groups

utils
0.81 (04/12/2022) by T. Breuer, S. Gutsche, M. Horn, A. Hulpke, C. Jefferson, S. Kohl, F. Lübeck, C. Wensley.
Utility functions in GAP

uuid
0.7 (01/03/2022) by M. Pfeiffer, The GAP Team.
RFC 4122 UUIDs

walrus
0.9991 (21/02/2022) by M. Pfeiffer.
A new approach to proving hyperbolicity

XModAlg
1.23 (03/12/2022) by Z. Arvasi, A. Odabas.
Crossed Modules and Cat1Algebras

YangBaxter
0.10.2 (12/12/2022) by L. Vendramin, O. Konovalov.
Combinatorial Solutions for the YangBaxter equation

ZeroMQInterface
0.14 (29/07/2022) by M. Pfeiffer, R. Behrends, The GAP Team.
ZeroMQ bindings for GAP
No longer redistributed with GAP or renamed:
 Carat  this package has been renamed to
CaratInterface.
 Citrus  this package has been renamed to
Semigroups.
 Convex  this package has been superseded by
NConvex.
 Gpd  this package has been renamed to
groupoids.
 HAPprime  part of
the code has been incorporated into the
HAP package.
Its source code repository, containing the code of the
last distributed version, can still be found on GitHub
here.
 if  this package has been withdrawn; a better
functionality is now included in the newer package
SCSCP.
 LAG  the functionality of this package is now included
in the newer package LAGUNA.
 linboxing  this package has been unusable (it does not compile) for
several years preceding GAP 4.10 release,
and is unmaintained. It was therefore dropped from the GAP
package distribution. If anybody is willing to take over and fix the
package, the latest sources are available
here.
 MONOID  the functionality of this package is now included in the
newer package Semigroups.
 NQL  this package has been
withdrawn by the author, and later has been superseded by
the package lpres.
 ParGAP is no longer redistributed with
GAP because it no longer can be compiled with GAP 4.9 (see
this announcement).
Its source code repository, containing the code of the last distributed version,
plus some first fixes needed for compatibility for GAP 4.9,
can still be found on GitHub here.
If somebody is interested in repairing this package and taking over its
maintenance, so that it can be distributed again, please contact the GAP team.
 PolymakeInterface  this package has been withdrawn.
 QaoS is no longer redistributed with
GAP because the servers it crucially relies on for
its functionality have been permanently retired (see
this announcement).
Its source code repository, containing the code of the last distributed version,
can still be found on GitHub here.
If somebody is interested in repairing this package and taking over its
maintenance, so that it can be distributed again, please contact the GAP team.
 recogbase  this package has been merged into the
recog package, and
therefore is no longer distributed with GAP.
