Identities among relations

Version 2.45
Released 2023-02-09

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.45, released on 2023-02-09. For more information, please refer to the package manual. There is also a README file.


This package requires GAP version >=4.11.1


Anne Heyworth, Chris Wensley.


Please, cite this package as

[HW23] Heyworth, A. and Wensley, C., idrel, Identities among relations, Version 2.45 (2023)
(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.