Goto Chapter: Top 1 2 3 4 Bib Ind
 [Top of Book]  [Contents]   [Next Chapter] 

kbmag

Knuth-Bendix on Monoids and Automatic Groups

1.5.5

4 February 2018

Derek Holt
Email: D.F.Holt@warwick.ac.uk
Homepage: https://homepages.warwick.ac.uk/staff/D.F.Holt/
Address:
Mathematics Institute
University of Warwick
Coventry CV4 7AL
UK

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

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

Abstract

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.

Bug reports, comments, suggestions for additional features, and offers to implement some of these, will all be very welcome.

Please submit any issues at https://github.com/gap-packages/kbmag/issues/.

Copyright

© 1997 by Derek Holt

This package may be distributed under the terms and conditions of the GNU Public License Version 2.

Acknowledgements

This documentation was prepared with the GAPDoc [LN17] and AutoDoc [GH17] packages.

The procedure used to produce new releases uses the package GitHubPagesForGAP [Hor17] and the package ReleaseTools.

Contents

1 Introduction
2 The Knuth-Bendix program on semigroups, monoids and groups
3 The Knuth-Bendix program on cosets
4 The stand-alone package
References
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 Bib Ind

generated by GAPDoc2HTML