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

IdRel

A package for Identities among Relators

Version 2.03

October 2007

Anne Heyworth
e-mail: anne.heyworth@googlemail.com

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 IdRel package was originally implemented in 1999, using the GAP 3 language, when the first author was studying for a Ph.D. in Bangor.

This package is designed to compute a minimal set of generators for the module of the identities among relations of a group presentation. It does this using

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

Copyright

© 2005-2007 by Anne Heyworth and Chris Wensley

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

Contents

1. Introduction
2. Rewriting Systems
3. Logged Rewriting Systems
4. Monoid Polynomials
5. Module Polynomials

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

generated by GAPDoc2HTML