Knuth-Bendix on Monoids and Automatic Groups
This project is maintained by The GAP Team
The kbmag package is a GAP interface to some `C’ programs for running the Knuth-Bendix completion program on finite semigroup, monoid or group presentations, and for attempting to compute automatic structures of finitely presented groups
The current version of this package is version 1.5.11, released on 2023-01-03. For more information, please refer to the package manual. There is also a README file.
This package requires GAP version >=4.7
For bug reports, feature requests and suggestions, please use the issue tracker.