Implementation of Knuth-Bendix completion algorithm, based on description in http://www.math.rwth-aachen.de/~Gerhard.Hiss/Students/DiplomarbeitPfeiffer.pdf
dmishin / knuth_bendix Goto Github PK
View Code? Open in Web Editor NEWKnuth-Bendix algorithm implementation for finitely generated groups, in Python.
License: MIT License