Author: Derek Holt
Needs: GAP:
version at least 4.3
Operating systems: UNIX/Linux only (to compile C
programs)
Current version: 1.5
Contact:
D.F.Holt@warwick.ac.uk
Download: See below for archive.
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.
Installation instructions are contained in the package README file.
Here is the documentation of the kbmag package in several output formats. If you have installed the package as described above you can also access all of these documents from the GAP online help.
The kbmag package is available in:
kbmag-1.5.tar.gz
(GNU tar archive, gzip'ed)
Derek Holt / Last modified: Tues Jan 6 2009