GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

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

Author
Derek Holt
Maintainer
The GAP Team
Version with GAP 4.13.0
1.5.11    (Released 03/01/2023)
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.11   [.tar.gz]