GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package kbmag

Knuth-Bendix on Monoids and Automatic Groups

Author

Derek Holt

Maintainers

Max Horn, Markus Pfeiffer

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.5.3   (Released 16/01/2016)

Status

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

Dependencies

GAP version: >=4.7
External needs: Unix only

Online documentation

kbmag: [ HTML] version   [ PDF] version  

Download

[README]    kbmag-1.5.3[.tar.gz  (636K)]   [.tar.bz2  (536K)]   [-win.zip  (800K)]   [.zip  (796K)]  

Source code repository

git : https://github.com/gap-packages/kbmag

Issue tracker

https://github.com/gap-packages/kbmag/issues

Contact

Max Horn
Address:
AG Algebra
Mathematisches Institut
Justus-Liebig-Universität Gießen
Arndtstraße 2
35392 Gießen
Germany
WWW: http://www.quendi.de/math
E-mail: max.horn@math.uni-giessen.de

Markus Pfeiffer
Address:
School of Computer Science
University of St Andrews
Jack Cole Building, North Haugh
St Andrews, Fife, KY16 9SX
United Kingdom
WWW: http://www.morphism.de/~markusp
E-mail: markusp@mcs.st-andrews.ac.uk