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.6.0, released on 2026-08-15. For more information, please refer to the package manual. There is also a README file.

License: GPL-2.0-or-later

Dependencies

This package requires GAP version >=4.7

Author

Derek Holt.

Citing

Please, cite this package as

[Hol26] Holt, D., kbmag, Knuth-Bendix on Monoids and Automatic Groups, Version 1.6.0 (2026)
(GAP package), https://gap-packages.github.io/kbmag.

You can get more info by typing Cite("kbmag"); in the gap prompt.

Feedback

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