kdrag.solvers.kb.string.KB

kdrag.solvers.kb.string.KB(E)

String Knuth-Bendix completion algorithm.

>>> e = 0
>>> a = 1 # a is rotate square
>>> b = 2 # b is flip square horizontally.
>>> E = [        ((-a, a), ()),        ((-b,b), ()),        ((a,a,a,a), ()),        ((b,b), ()),        ((a,a,a,b), (b,a))        ]
>>> R = KB(E)
>>> E,R = simplify(R)