Skip to content

Commit 8873f8d

Browse files
cong: fix tests for upstream changes
1 parent 1d1382b commit 8873f8d

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

docs/source/main-algorithms/congruence/to-cong.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -124,12 +124,12 @@ trivial congruence over the word graph *wg*.
124124
>>> wg = WordGraph(7, [[1, 2], [1, 3], [4, 2], [5, 3], [4, 6], [5, 3], [4, 6]])
125125
>>> cong = to(congruence_kind.twosided, wg, rtype=(Congruence, list[int]))
126126
>>> cong.add_generating_pair([0], [1])
127-
<1-sided Congruence over <semigroup presentation with 2 letters, 0 rules, and length 0> with 1 gen. pair, 1 runners>
127+
<2-sided Congruence over <semigroup presentation with 2 letters, 0 rules, and length 0> with 1 gen. pair, 1 runners>
128128
>>> cong.number_of_classes()
129129
1
130130

131131
>>> cong = to(congruence_kind.twosided, wg, rtype=(Congruence, str))
132132
>>> cong.add_generating_pair("a", "b")
133-
<1-sided Congruence over <semigroup presentation with 2 letters, 0 rules, and length 0> with 1 gen. pair, 1 runners>
133+
<2-sided Congruence over <semigroup presentation with 2 letters, 0 rules, and length 0> with 1 gen. pair, 1 runners>
134134
>>> cong.number_of_classes()
135135
1

tests/test_cong.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -94,7 +94,6 @@ def test_has_get():
9494
c = Congruence(congruence_kind.twosided, p)
9595

9696
assert c.number_of_runners() <= 4
97-
assert c.has(Kambites)
9897
k = c.get(Kambites)
9998

10099
c.run()

0 commit comments

Comments
 (0)