diff --git a/tests/test_knuth_bendix.py b/tests/test_knuth_bendix.py index 27811576..b81a104d 100644 --- a/tests/test_knuth_bendix.py +++ b/tests/test_knuth_bendix.py @@ -344,7 +344,7 @@ def test_rpo(): kb = KnuthBendix(congruence_kind.twosided, p, order=Order.rpo) kb.run() - assert list(kb.active_rules()) == [("bbb", ""), ("aa", ""), ("abb", "baba"), ("abab", "bba")] + assert list(kb.active_rules()) == [("bbb", ""), ("aa", ""), ("bba", "abab"), ("baba", "abb")] # TODO(0) Does the alphabet bug persist? YES: the test fails