Gpd

This version of Gpd has been prepared in anticipation of the release of GAP 4.5 in the spring of 2012.

Authors: Emma Moore, Chris Wensley
Language: GAP 4.5
Operating System: Any
Latest version: 1.14 (23/04/2012)
Current archive: gpd-1.14.tar.gz
README file: README

Manual

Choose from the following formats:

Description

The Gpd package provides functions for computation with finite groupoids and their morphisms.

The first part is concerned with the standard constructions for connected groupoids, and for groupoids with more than one component.
Groupoid morphisms are also implemented, and an experimental version of the automorphism group is included.

The second part implements graphs of groups and graphs of groupoids.
A graph of groups is a directed graph with a group at each vertex and with isomorphisms between subgroups on each arc.
This construction enables normal form computations for free products with amalgamation, and for HNN extensions, when the vertex groups come with their own rewriting systems.

For further information, see Emma Moore's Ph.D. thesis: moore.ps.gz

Computationally, there are three types of connected groupoid:

GraphGpd attempted to implement the second case.
Gpd 1.01 restricted itself to the first case.
Gpd 1.05 extended 1.01 to the second case.

The major restucturing for Gpd 1.07 introduced magmas with objects, and built up from these through semigroups with objects and monoids with objects to groups with objects, which are groupoids.

The latest versions, prepared for GAP 4.5, include experimental methods for automorphism groups of groupoids, and implementation of homogeneous discrete groupoids which are needed by the XMod package for crossed modules over groupoids.

Authors

Emma Moore

Chris Wensley
School of Computer Science
Bangor University
Bangor, Gwynedd
LL57 1UT, UK
email: c.d.wensley@bangor.ac.uk



GAP links:

[Home] | [About GAP] | [Support] | [Get GAP] | [Miscellanea] |   

(gpd114.html, version 23/04/12)