Skip to content

Commit ef17383

Browse files
cong: update test
1 parent 5a4ccaa commit ef17383

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/cong.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -68,7 +68,7 @@ individual algorithms, such as :any:`Kambites`,
6868
>>> is_obviously_infinite(cong)
6969
True
7070
>>> cong.add_generating_pair([1, 1, 1], [])
71-
<Congruence over <monoid presentation with 2 letters, 1 rule, and length 2> with 4 runners>
71+
<2-sided Congruence over <monoid presentation with 2 letters, 1 rule, and length 2> with 1 gen. pair, 4 runners>
7272
>>> cong.number_of_classes()
7373
3
7474
>>> is_obviously_infinite(cong)
@@ -250,7 +250,7 @@ obviously infinite; ``False`` is returned if it is not.
250250
congruence has infinitely many classes.
251251
)pbdoc");
252252
} // bind_cong
253-
} // namespace
253+
} // namespace
254254

255255
void init_cong(py::module& m) {
256256
bind_cong<word_type>(m, "CongruenceWord");

0 commit comments

Comments
 (0)