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
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"
(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
e-mail any problems to firstname.lastname@example.org.
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.