Index of /~mareg/download/kbmag_old

 Name                    Last modified       Size  Description

 Parent Directory        03-Sep-2004 12:14      -  Parent
 kbmag.README            03-Sep-2004 12:14     6k  
 kbmag1.tar.Z            03-Sep-2004 12:14   352k  tar archive
 kbmag2.tar.Z            03-Sep-2004 12:14   579k  tar archive

				KBMAG
Version 1.4.4						8. August 1996.

KBMAG stands for Knuth-Bendix on Monoids and Automatic Groups.
The package has three principal applications:
(i)  A standalone Knuth-Bendix program for finitely presented monoids;
(ii) A package for calculating the automatic structure of a short-lex
     automatic group, which supercedes the existing Warwick "Automata"
     package;
(iii) A few programs for manipulating finite state automata.

All programs are in standard 'C', but there is one Bourne shell script
(which is not completely essential for using the package).
It is designed to run on any Unix sytem.
 
The tarfile kbmag.tar unpacks into a single directory called "kbmag".
It occupies a little more than 3 MBytes when everything is compiled and
cleaned up.

e-mail any problems to dfh@maths.warwick.ac.uk.

The input and output format for files was developed by the GASP group,
and conforms to the syntax of the GAP system. There is an interface which
allows the package to be called and used from GAP.