RKBP Version 1.51
This web page includes a copy of the Knuth-Bendix program RKBP version 1.51 (kindly made available by its author, Charles Sims who retains copyright for the code).

It is provided as a gzipped tar file. To create an executable program on a Unix-like system put the contents of the tar file into a directory:

sample command: tar -zxf rkbp151.tar.gz

an alternative: gunzip -c rkbp151.tar.gz | tar -xf -

then compile it all with a C++ compiler:

sample command: g++ *.C

an alternative: g++ -o rkbp151 -Wno-deprecated *.C

This program can do all the RKBP computations mentioned in the paper 4-Engel groups are locally nilpotent. (The alternative compile command both names the executable file and avoids warning messages generated by newer C++ compilers.)

Last updated: 13 July 2004