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.
顯示實驗性套件 顯示社群維護套件