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.9.3
The following other GAP packages are needed:
The following additional GAP packages are not required, but suggested:
Anne Heyworth, Christopher D. Wensley.
For bug reports, feature requests and suggestions, please use the issue tracker.