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


A package for Identities among Relators

Version 2.38


Anne Heyworth

Chris Wensley
School of Computer Science, Bangor University,
Dean Street, Bangor, Gwynedd, LL57 1UT, U.K.


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 relators of a group presentation. It does this using

IdRel became an accepted GAP package in May 2015.

Bug reports, suggestions and comments are, of course, welcome. Please submit an issue at or send an email to the second author at


© 1999-2017 Anne Heyworth and Chris Wensley

IdRel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.


This documentation was prepared with the GAPDoc package [LN12] of Frank Lübeck and Max Neunhöffer.

The procedure used to mount new releases on GitHub uses the packages GitHubPagesForGAP [Hor17] and ReleaseTools of Max Horn.


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

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

generated by GAPDoc2HTML