<?
xml version=
"1.0" encoding=
"UTF-8"?>
<!-- This is an automatically generated file. -->
<TitlePage>
<Title>
kbmag
</Title>
<Subtitle>
Knuth-Bendix on Monoids and Automatic Groups
</Subtitle>
<Version>
1.
5.
11
</Version>
<Author>
Derek Holt<Alt Only=
"LaTeX"><Br/></Alt>
<Address>
Mathematics Institute<Br/>
University of Warwick<Br/>
Coventry CV4
7AL<Br/>
UK<Br/>
</Address>
<Email>D.F.Holt@warwick.ac.uk</Email>
<Homepage>
https://homepages.warwick.ac.uk/staff/D.F.Holt/</Homepage>
</Author>
<Date>
3 January
2023
</Date>
<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.<P/>Bug reports, comments, suggestions for additional features, and offers to implement some of these, will all be very welcome.<P/>Please submit any issues at <URL>https://github.com/gap-packages/kbmag/issues/</URL>.<P/>
</Abstract>
<Copyright>
©right;
1997 by Derek Holt<P/>
This package may be distributed under the terms and conditions of the GNU Public License Versio
n 2.
</Copyright>
<Acknowledgements>
This documentation was prepared with the &GAPDoc; <Cite Key='GAPDoc'/> and &AutoDoc; <Cite Key='AutoDoc'/> packages.<P/>
The procedure used to produce new releases uses the package <Package>GitHubPagesForGAP</Package> <Cite Key='GitHubPagesForGAP' /> and the package <Package>ReleaseTools</Package>.<P/>
</Acknowledgements>
</TitlePage>