From af25733de5633cae5e38b2b3ecda52a15811805d Mon Sep 17 00:00:00 2001 From: Joseph Edwards Date: Wed, 5 Aug 2026 18:33:05 +0100 Subject: [PATCH] KnuthBendix: Update output relating to RPO --- tests/test_knuth_bendix.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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