GAP package kbmag

Knuth-Bendix on Monoids and Automatic Groups

[WWW homepage]

Author

Derek Holt

Short Description

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

Version

Current version number 1.4   (Released 23/10/2007)

Status

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

Dependencies

GAP version: >=4.3
External needs: Unix only

Online documentation

kbmag: [ PDF] version  

Download

[README]    kbmag-1.4[.zoo  (832K)]   [.tar.gz  (644K)]   [-win.zip  (808K)]   [.tar.bz2  (556K)]  

Contact

Derek Holt
Address:
Mathematics Institute
University of Warwick
Coventry CV4 7AL
UK
WWW: http://www.warwick.ac.uk/~mareg
E-mail: D.F.Holt@warwick.ac.uk