A list of GAP packages

This page lists the websites and/or public development repositories of known GAP packages. Please note that this list may differ from (and will typically be a superset of) the list of packages on the gap-system.org website: that webpage shows only those packages included with the most recent GAP release.

In particular, this page lists some packages that are in early development, or that are never intended to be deposited for redistribution with GAP.

This list is partially maintained manually, so it may be out of date. If you are aware of any GAP package websites or repositories not listed below, then please let us know so that we can include them here.

Some retired or unmaintained packages have been deliberately omitted from this page. This may include those mentioned at the bottom of the list of packages on the gap-system.org website.

Packages without public development repositories

• AtlasRep: A GAP Interface to the Atlas of Group Representations
• Browse: browsing applications and ncurses interface
• CTblLib: The GAP Character Table Library

Packages hosted in the gap-packages organization on GitHub

• 4ti2gap (Homepage):
• aaa (Homepage): GAP package for asynchronous automata algorithms
• ace (Homepage): GAP interface for the the Advanced Coset Enumerator (ACE)
• aclib (Homepage): Almost Crystallographic Groups - A Library and Algorithms
• agt (Homepage): Algebraic graph theory: A GAP package
• alnuth (Homepage): ALgebraic NUmber THeory for GAP
• anupq (Homepage): The ANUPQ GAP package
• AutoDoc (Homepage): A GAP Package to produce documentation.
• automata (Homepage): A GAP package on automata
• automgrp (Homepage): GAP package for working with automata groups and semigroups
• autpgrp (Homepage): Computing the Automorphism Group of a p-Group
• biogap: GAP package for abstract algebraic algorithms in phylogeny (bacterial genomics)
• BlissInterface (Homepage): Low level interface to the bliss graph automorphism tool
• CaratInterface (Homepage): Interface to CARAT, a crystallographic groups package
• Char0Gauss: Linear algebra stuff
• circle (Homepage): Adjoint groups of finite rings
• ClassicalMaximals: Maximal subgroups of classical groups
• cohomolo (Homepage): Cohomology groups of finite groups on finite modules
• congruence (Homepage): Congruence subgroups of SL(2,Integers)
• corelg (Homepage): Computation with real Lie groups
• crime (Homepage): GAP package that computes the cohomology rings of finite p-groups, induced maps, and Massey products
• crypting (Homepage): Hashes and Crypto in GAP
• cryst (Homepage): Computing with crystallographic groups
• crystcat (Homepage): The crystallographic groups catalog
• cubefree (Homepage): Constructing the Groups of a Given Cubefree Order
• curlInterface (Homepage): Easy web access for GAP
• cvec (Homepage): GAP package for Compressed vectors and matrices over finite fields
• datastructures (Homepage): Package for Standard Datastructures for (HPC-)GAP
• debugger: Debugging and Breakpoints for GAP
• DeepThought (Homepage): Implements the Deep Thought algorithms for finitely generated nilpotent groups
• design (Homepage): The Design Package for GAP
• example (Homepage): GAP Example Package
• FactInt (Homepage): FactInt -- Advanced Methods for [Fact]oring [Int]egers
• ferret (Homepage): GAP package for searching in finite permutation groups
• FinInG: FinInG - Finite Incidence Geometry for GAP
• float (Homepage): GAP package for floating-point support in GAP
• format (Homepage): Computing with formations of finite solvable groups
• forms (Homepage): Forms -- sesquilinear and quadratic, a package for GAP
• FPLSA (Homepage): A GAP package which implements the Lie Todd-Coxeter method for converting finitely presented Lie algebras into isomorphic structure constant algebras
• fr (Homepage): GAP package for functionally recursive (automata) groups in GAP
• francy (Homepage): An Interactive Discrete Mathematics Framework for GAP
• FrancyMonoids (Homepage): Finitely Generated Commutative Monoids and Francy
• fwtree (Homepage): Computing trees related to some pro-p-groups of finite width
• GaloisGroups: Computing Galois Groups in GAP
• gapbench: Some benchmarks for the GAP system.
• GAPQuickcheck: Library for property testing in GAP
• gbnp (Homepage): computing Gröbner bases of noncommutative polynomials
• genss (Homepage): The GAP package genss for randomised Schreier-Sims
• grape (Homepage): GRaph Algorithms using PErmutation groups
• groupoids (Homepage): GAP package groupoids (algorithms for finite groupoids):
• grpconst (Homepage): Constructing the Groups of a Given Order
• guarana (Homepage): Applications of Lie methods for computations with infinite polycyclic groups
• guava (Homepage): GAP package guava - computations relative to error-correcting codes
• hap (Homepage): Homological Algebra Programming
• hapcryst (Homepage): A HAP extension for crytallographic groups
• hecke (Homepage): Decomposition matrices of Hecke algebras of the symmetric groups and q-Schur algebras
• HeLP (Homepage): Hertweck-Luthar-Passi method
• idrel (Homepage): GAP package IdRel:
• images (Homepage): GAP package for computing minimal and canonical images
• img (Homepage): Iterated monodromy groups in GAP
• intpic (Homepage): A GAP package for drawing integers
• io (Homepage): GAP package IO to do input and output
• itc (Homepage): Interactive Todd-Coxeter
• json (Homepage): A GAP Package for reading and writing JSON
• JupyterKernel (Homepage): Native Jupyter kernel for GAP
• kan (Homepage): GAP package kan:
• kbmag (Homepage): Knuth-Bendix on Monoids and Automatic Groups
• laguna (Homepage): Lie AlGebras and UNits of group Algebras
• liealgdb (Homepage): A database of Lie algebras
• liepring (Homepage): Database and algorithms for Lie p-rings
• liering (Homepage): Computing with finitely presented Lie rings
• LocalNR (Homepage): The LocalNR package is a data library of local nearrings of small orders
• loops (Homepage): Computing with quasigroups and loops in GAP
• lpres (Homepage): L-Presentations in GAP
• MapClass (Homepage): Mapclass - a GAP Package For Mapping Class Orbit Computation
• MathInTheMiddle: MitM interface functionality for GAP
• matrixss: Schreier-Sims for Matrix Groups
• meataxe64 (Homepage): A new implementation of the MeatAxe algorithm
• Memoisation (Homepage): Persistent Memoisation in GAP
• modisom (Homepage): Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups
• NautyTracesInterface (Homepage): Interface from GAP to Nauty
• nilmat (Homepage): Computing with nilpotent matrix groups
• NoCK (Homepage): Package Page
• NormalizInterface (Homepage): A package for using normaliz from within GAP
• nq (Homepage): GAP package for Nilpotent Quotients of Finitely Presented Groups
• numericalsgps (Homepage): A GAP package to deal with numerical semigroups and affine semigroups
• openmath (Homepage): OpenMath functionality in GAP
• orb (Homepage): The GAP package orb for advanced orbit enumerations
• OrbitalGraphs (Homepage): Computations with orbital graphs in GAP
• PackageManager (Homepage): Basic package manager for GAP
• PARIInterface: An interface to the PARI computer algebra library
• PatternClass (Homepage): Exploring permutation pattern classes build by token passing networks
• permut (Homepage): A package to deal with permutability in finite groups
• polenta (Homepage): GAP package for polycyclic presentations for matrix groups
• polycyclic (Homepage): Computation with polycyclic groups
• polymaking (Homepage): Interfacing the geometry software polymake
• primgrp (Homepage): GAP Primitive Groups Library
• profiling (Homepage): GAP profiling output
• PythonInterface: PythonInterface for GAP
• qpa (Homepage): GAP package for quivers and path algebras
• quagroup (Homepage): Computations with quantum groups
• radiroot (Homepage): Roots of a Polynomial as Radicals
• RAMEGA (Homepage): This is a GAP package for random methods for group algebras
• rcwa (Homepage): Residue-Class-Wise Affine Groups
• rds: Relative Difference Sets
• recog (Homepage): The GAP package recog to collect methods for constructive recognition
• RegisterPackageTNUMDemo: Demo package for RegisterTNUM
• RepnDecomp (Homepage): Decompose representations of finite groups into irreducibles
• repsn (Homepage): A GAP4 Package for constructing representations of finite groups
• resclasses (Homepage): Set-Theoretic Computations with Residue Classes
• rig (Homepage): A GAP package for racks, quandles, Nichols algebras
• scscp (Homepage): Symbolic Computation Software Composability Protocol in GAP
• semirings: Semiring functionality for GAP
• sglppow (Homepage): Database of groups of prime-power order for some prime-powers
• sgpdec (Homepage): GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
• sgpviz (Homepage): A GAP package for visualizing finite semigroups
• simplicial-surfaces:
• singular (Homepage): A GAP interface to Singular
• SingularInterface (Homepage): A GAP package for accessing Singular from within GAP
• sla (Homepage): Computing with simple Lie algebras
• smallgrp (Homepage): The GAP Small Groups Library
• smallsemi (Homepage): A library of small semigroups
• sonata (Homepage): System of nearrings and their applications
• sophus (Homepage): Computing in nilpotent Lie algebras
• spinsym (Homepage): Brauer tables of spin-symmetric groups
• subsemi: GAP package for enumerating subsemigroups of semigroups by several different search algorithms.
• SymbCompCC (Homepage): Computing with parametrised presentations for p-groups of fixed coclass
• Thelma (Homepage): GAP Package on threshold logic.
• tomlib (Homepage): The GAP Library of Tables of Marks
• toric (Homepage): toric is a GAP package (gap-system.org) for doing computations with toric varieties.
• UGALY (Homepage): UGALY (Universal Groups Acting LocallY) is a GAP package that provides methods to create, analyse and find local actions of generalised universal groups acting on locally finite regular trees, following Burger-Mozes and Tornier.
• unipot (Homepage): Computing with elements of unipotent subgroups of Chevalley groups
• unitlib (Homepage): UnitLib - library of normalized unit groups of modular group algebras
• utils (Homepage): GAP package utils - utility functions collected from other packages
• uuid (Homepage): Provide RFC4122 UUIDs
• ve: Vector enumeration
• walrus (Homepage): Computational Methods for Finitely Generated Monoids and Groups
• wedderga (Homepage): Wedderburn Decomposition of Group Algebras
• xgap (Homepage): The XGAP package allows to use graphics in GAP.
• xmod (Homepage): GAP package XMod (Crossed Modules and Cat1-Groups):
• xmodalg (Homepage): GAP package XModAlg (Crossed Modules and Cat1-Algebras)
• YangBaxter (Homepage): Set-theoretic solutions of the Yang-Baxter equation
• ZeroMQInterface (Homepage): GAP Bindings to ZeroMQ

Packages hosted elsewhere on GitHub

• AssociationSchemes (Homepage): A GAP package for working with association schemes and homogeneous coherent configurations
• BruhatDecomposition: Computes the Bruhat decomposition of matrices in classical groups
• The CAP project: The GAP package CAP and packages using it
• COCO2P: GAP-package for the computation with coherent configurations
• CRISP: GAP package CRISP
• difsets (Homepage): A GAP package implementing an algorithm for enumerating all difference sets up to equivalence in a group
• Digraphs (Homepage): Graphs, digraphs, and multidigraphs in GAP
• EDIM: Elementary Divisors of Integer Matrices
• EigenGap: Using the Eigen C++ library within GAP
• FGA: Free Group Algorithms
• FSR (Homepage): Feedback Shift Register Package
• G2Comp: G2Comp/Equivariant 2-complexes
• GAPDoc (Homepage): A package to generate documentation for GAP
• glabella (Homepage): Low level interfaces to graph automorphism and canonical labelling tools
• Gurobify (Homepage): A GAP interface to Gurobi Optimizer
• The homalg project hosts all their projects on GitHub.
  • List of deposited homalg packages
  • Additional homalg packages can be found at the homalg organization at GitHub
• IncidenceStructures (Homepage): GAP implementation of abstract incidence structures
• IRREDSOL: A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groups
• Itest: An implementation of Barmak and Minian’s I-test
• JupyterViz (Homepage): Visualization tools for Jupyter Notebooks using GAP kernels
• LINS: computing the normal subgroups of a finitely presented group
• MajoranaAlgebras (Homepage): A package for constructing Majorana algebras and representations
• matgrp (Homepage): Matric Group Interface Routines
• The PEAL organisation has several packages for computing with permutation groups:
  • BacktrackKit (Homepage): An extensible, easy to understand backtracking framework
  • GraphBacktracking (Homepage): A simple but slow implementation of graph backtracking
  • Vole (Homepage): Vole organises lengthy explorations: Backtrack search in permutation groups with graphs
• Posets: GAP Package for posets and finite spaces
• QuickCheck: A “QuickCheck” library for the GAP language
• Satisfiability: functionality to solve satisfiability constraint problems and access to minisat
• Semigroups (Homepage): A package for semigroups and monoids
• semigroupviz (Homepage): Visualization tools for semigroups in GAP
• sotgrps: Constructing the Groups of a Given Small Order Type
• simpcomp (Homepage): A GAP package for working with simplicial complexes
• SmallCancellation: Metric and nonmetric small cancellation conditions
• transgrp (Homepage): GAP Transitive Groups Library
• TwistedConjugacy (Homepage): Computation with twisted conjugacy classes
• YAGS (Homepage): YAGS - Yet Another Graph System

Last updated: 2022-04-04 08:52