Goto Chapter: Top 1 2 3 4 5 6 7 8 Bib Ind

1 Introduction

Groupoids are mathematical categories in which every arrow is invertible. The Gpd package provides functions for the computation with groupoids and their morphisms; for graphs of groups and graphs of groupoids. The package is far from complete, and development continues.

It was used by Emma Moore in her thesis [Moo01] to calculate normal forms for free products with amalgamation, and for HNN-extensions when the initial groups have rewriting systems.

The latest version is 1.46 for GAP 4.8, released on 21st February 2017, and may be more recent than the release on the GAP archive.

The package may be obtained as a compressed tar file gpd-1.46.tar.gz by ftp from one of the following sites:

The information parameter InfoGpd takes default value 1 which, for the benefit of new users, causes more messages to be printed out when operations fail. When raised to a higher value, additional information is printed out.

Help is available in the usual way.


gap> LoadPackage( "gpd" );



For version 1.05 the package was completely restructured, starting with magmas with objects and their mappings, and building up to groupoids via semigroups with objects and monoids with objects. From version 1.07 the package includes some functions to implement constructions contained in [AW10]. More functions will be released as soon as possible.

Once the package is loaded, it is possible to check the correct installation by running the test suite of the package with the command  ReadPackage( "gpd", "tst/testall.g" );  You may reference this package by mentioning [BMPW02], [Moo01] and [AW10].

Additional information can be found on the Computational Higher Dimensional Algebra website at: http://pages.bangor.ac.uk/~mas023/chda/intro.html.

Goto Chapter: Top 1 2 3 4 5 6 7 8 Bib Ind

generated by GAPDoc2HTML