kbmag

GAP package kbmag

Knuth-Bendix on Monoids and Automatic Groups

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

[WWW homepage]       [Source code repository]       [Issue tracker]

Author

Derek Holt

Maintainer

The GAP Team

Version with GAP 4.12.2

1.5.10    (Released 23/09/2022)

License

GPL-2.0-or-later

Status

accepted    (communicated by Charles Wright (Oregon), accepted 01/07/2003)

Dependencies

GAP version: >=4.7
External needs: Unix only

Documentation

kbmag [HTML]     [PDF]

Download

kbmag-1.5.10   [.tar.gz]