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