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.
显示实验性软件包 显示社区软件包