@@ -261,6 +261,8 @@ semigroup.
261261:rtype: ToddCoxeter
262262)pbdoc" );
263263
264+ // //////////////////////////////////////////////////////////////////////
265+
264266 thing.def (
265267 " current_index_of" ,
266268 [](ToddCoxeter_ const & self, Word const & w) {
@@ -377,36 +379,9 @@ node corresponding to index *i* back to the root of that tree.
377379)pbdoc" );
378380
379381 // //////////////////////////////////////////////////////////////////////
380- // Helpers from cong-common.hpp . . .
382+ // Lookahead/behind
381383 // //////////////////////////////////////////////////////////////////////
382384
383- auto raises = R"pbdoc(
384- :raises LibsemigroupsError:
385- if the number of classes in *tc* is infinite. In this case, the
386- enumeration of *tc* will not terminate successfully.)pbdoc" sv;
387-
388- def_partition<ToddCoxeter<Word>>(
389- m,
390- " ToddCoxeter" ,
391- " todd_coxeter" ,
392- doc{.only_document_once = true , .raises = raises, .var = " tc" });
393-
394- def_non_trivial_classes<ToddCoxeter<Word>>(
395- m,
396- " ToddCoxeter" ,
397- " todd_coxeter" ,
398- doc{.only_document_once = true , .raises = raises, .var = " tc" });
399-
400- def_normal_forms<ToddCoxeter<Word>>(m,
401- " ToddCoxeter" ,
402- " todd_coxeter" ,
403- doc{.detail = R"pbdoc(
404- The order of the classes, and the normal forms, that are returned are
405- controlled by :any:`ToddCoxeter.standardize`. This function triggers a full
406- enumeration of ``tc``.)pbdoc" ,
407- .only_document_once = true ,
408- .raises = raises,
409- .var = " tc" });
410385 thing.def (
411386 " perform_lookahead" ,
412387 [](ToddCoxeter_& self) { return self.perform_lookahead (); },
@@ -739,6 +714,38 @@ whichever happens first.
739714 does nothing but still might take some time to run).
740715)pbdoc" );
741716
717+ // //////////////////////////////////////////////////////////////////////
718+ // Helpers from cong-common.hpp . . .
719+ // //////////////////////////////////////////////////////////////////////
720+
721+ auto raises = R"pbdoc(
722+ :raises LibsemigroupsError:
723+ if the number of classes in *tc* is infinite. In this case, the
724+ enumeration of *tc* will not terminate successfully.)pbdoc" sv;
725+
726+ def_partition<ToddCoxeter<Word>>(
727+ m,
728+ " ToddCoxeter" ,
729+ " todd_coxeter" ,
730+ doc{.only_document_once = true , .raises = raises, .var = " tc" });
731+
732+ def_non_trivial_classes<ToddCoxeter<Word>>(
733+ m,
734+ " ToddCoxeter" ,
735+ " todd_coxeter" ,
736+ doc{.only_document_once = true , .raises = raises, .var = " tc" });
737+
738+ def_normal_forms<ToddCoxeter<Word>>(m,
739+ " ToddCoxeter" ,
740+ " todd_coxeter" ,
741+ doc{.detail = R"pbdoc(
742+ The order of the classes, and the normal forms, that are returned are
743+ controlled by :any:`ToddCoxeter.standardize`. This function triggers a full
744+ enumeration of ``tc``.)pbdoc" ,
745+ .only_document_once = true ,
746+ .raises = raises,
747+ .var = " tc" });
748+
742749 // //////////////////////////////////////////////////////////////////////
743750 // Helper functions - specific to ToddCoxeter
744751 // //////////////////////////////////////////////////////////////////////
@@ -964,7 +971,7 @@ Pro).
964971:param tc: the :any:`ToddCoxeter` instance.
965972:type tc: ToddCoxeter)pbdoc" );
966973 } // bind_todd_coxeter
967- } // namespace
974+ } // namespace
968975
969976 void init_todd_coxeter (py::module & m) {
970977 bind_todd_coxeter<word_type>(m, " ToddCoxeterWord" );
0 commit comments