order: add support for Alphabet

Author: codex

src/froidure-pin.cpp

@@ -1269,7 +1269,7 @@ This function returns the element of *fp* obtained by evaluating *w*.
               });
       }
     }  // bind_froidure_pin_stateful
-  }  // namespace
+  }    // namespace
 
   void init_froidure_pin(py::module& m) {
     using LenLexTrie = detail::RewritingSystemTrie<LenLexCmp>;

src/knuth-bendix.cpp

@@ -388,7 +388,7 @@ Copy a :any:`NormalFormRange` object.
                 });
       thing.def("next", [](NormalFormRange& nfr) { nfr.next(); });
     }  // bind_normal_form_range
-  }  // namespace
+  }    // namespace
 
   template <typename Word>
   void bind_redundant_rule(py::module& m) {

src/libsemigroups_pybind11/__init__.py

@@ -41,6 +41,7 @@
 from .bipartition import Bipartition
 from .blocks import Blocks
 from .congruence import Congruence
+from .detail.cxx_wrapper import wrap_cxx_free_fn as _wrap_cxx_free_fn
 from .detail.dot import Dot
 from .forest import PathsFromRoots, PathsToRoots
 from .froidure_pin import FroidurePin
@@ -103,12 +104,16 @@
         delta,
         error_message_with_prefix,
         freeband_equal_to,
+        lenlex_cmp as _lenlex_cmp,
+        lex_cmp as _lex_cmp,
         lexicographical_compare,
         number_of_words,
         random_string,
         random_strings,
         random_word,
         recursive_path_compare,
+        rev_rpo_cmp as _rev_rpo_cmp,
+        rpo_cmp as _rpo_cmp,
         shortlex_compare,
         side,
         tril,
@@ -120,6 +125,12 @@
     ) from e
 
 
+lenlex_cmp = _wrap_cxx_free_fn(_lenlex_cmp)
+lex_cmp = _wrap_cxx_free_fn(_lex_cmp)
+rev_rpo_cmp = _wrap_cxx_free_fn(_rev_rpo_cmp)
+rpo_cmp = _wrap_cxx_free_fn(_rpo_cmp)
+
+
 __all__ = [
     "__version__",
     # Constants from _libsemigruops_pybind11
@@ -158,12 +169,16 @@
     "delta",
     "error_message_with_prefix",
     "freeband_equal_to",
+    "lenlex_cmp",
+    "lex_cmp",
     "lexicographical_compare",
     "number_of_words",
     "random_string",
     "random_strings",
     "random_word",
     "recursive_path_compare",
+    "rev_rpo_cmp",
+    "rpo_cmp",
     "shortlex_compare",
     "side",
     "tril",

src/main.cpp

@@ -68,6 +68,9 @@ namespace libsemigroups {
 
     // Must be before most things
     init_constants(m);
+    // The alphabet-aware order comparison overloads require the Alphabet
+    // classes to be registered before their signatures are created.
+    init_alphabet(m);
     init_order(m);
     init_types(m);
 
@@ -76,7 +79,6 @@ namespace libsemigroups {
     init_runner(m);
 
     // Must be before cong classes
-    init_alphabet(m);
     init_present(m);
     init_inverse_present(m);