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.
実験的なパッケージの表示 コミュニティ提供のパッケージの表示