Goto Chapter: Top 1 2 3 4 5 Bib Ind
 Top of Book   Next Chapter 

Gpd

Groupoids, graphs of groups, and graphs of groupoids

Version 1.03

October 2007

Emma Moore
e-mail: emmajmoore@yahoo.co.uk

Chris Wensley
e-mail: c.d.wensley@bangor.ac.uk
WWW: http://www.informatics.bangor.ac.uk/~cwensley/
Address:
School of Computer Science, Bangor University,
Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.

Abstract

The Gpd package for GAP4 provides functions for the computation with groupoids (categories with every arrow invertible) and their morphisms; for graphs of groups, and graphs of groupoids.

It provides normal forms for Free Products with Amalgamation and for HNN-extensions when the initial groups have rewrite systems and the subgroups have finite index.

The Gpd package was originally implemented in 2000 (as GraphGpd) when the first author was studying for a Ph.D. in Bangor.

The current version is 1.03, released on October 8th 2007.

Bug reports, suggestions and comments are, of course, welcome. Please contact the second author at c.d.wensley@bangor.ac.uk.

Copyright

© 2000-2007 by Emma Moore and Chris Wensley

We adopt the copyright regulations of GAP as detailed in the copyright notice in the GAP manual.

Contents

1. Introduction
2. Groupoids
3. Morphisms of Groupoids
4. Graphs of Groups and Groupoids
5. Development History

 Top of Book   Next Chapter 
Goto Chapter: Top 1 2 3 4 5 Bib Ind

generated by GAPDoc2HTML