GitHub - dmishin/knuth_bendix: Knuth-Bendix algorithm implementation for finitely generated groups, in Python.

dmishin / knuth_bendix Public

Notifications You must be signed in to change notification settings
Fork 1
Star 7

Knuth-Bendix algorithm implementation for finitely generated groups, in Python.

7 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 247 Commits
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
automaton.py		automaton.py
js_rewriter.py		js_rewriter.py
knuth_bendix.py		knuth_bendix.py
ss2tf.py		ss2tf.py
test_automaton.py		test_automaton.py
test_knuth_bendix.py		test_knuth_bendix.py
triangle_group.py		triangle_group.py
vondyck.py		vondyck.py

Repository files navigation

Implementation of Knuth-Bendix completion algorithm, based on description in http://www.math.rwth-aachen.de/~Gerhard.Hiss/Students/DiplomarbeitPfeiffer.pdf

About

Knuth-Bendix algorithm implementation for finitely generated groups, in Python.

Report repository

Releases

No releases published

Packages

No packages published

Languages