kbmag

Knuth-Bendix on Monoids and Automatic Groups

Version 1.5.4

This project is maintained by Max Horn, Markus Pfeiffer

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.4. For more information, please refer to the package manual. There is also a README file.

Dependencies

This package requires GAP version >=4.7

Author

Derek Holt

Feedback

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