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.
This package requires GAP version >=4.7
The following other GAP packages are needed:
Anne Heyworth, Christopher D. Wensley
For bug reports, feature requests and suggestions, please use the issue tracker.