Identities among relations

Version 2.44
Released 2022-06-04

This project is maintained by Chris Wensley

GAP Package idrel

IdRel is a package for computing the identities among relations of a group presentation using rewriting, logged rewriting, monoid polynomials, module polynomials and Y-sequences.

The current version of this package is version 2.44, released on 2022-06-04. For more information, please refer to the package manual. There is also a README file.


This package requires GAP version >=4.11.1

The following other GAP packages are needed:

The following additional GAP packages are not required, but suggested:


Anne Heyworth, Chris Wensley.


Please, cite this package as

[HW22] Heyworth, A. and Wensley, C., idrel, Identities among relations, Version 2.44 (2022)
(Refereed GAP package),

You can get more info by typing Cite("idrel"); in the gap prompt.


For bug reports, feature requests and suggestions, please use the issue tracker.