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.11

3 January 2023

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

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