GAP: Identities among relations
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.
Näita eksperimentaalseid pakette Näita kommuuni hallatavaid pakette