Knuth-Bendix on Monoids and Automatic Groups

Version 1.5.11
Released 2023-01-03

This project is maintained by The GAP Team

GAP Package kbmag

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


Derek Holt.


For bug reports, feature requests and suggestions, please use the issue tracker.