order: add rev_* orders

Author: codex

docs/source/data-structures/order/index.rst

@@ -23,17 +23,26 @@ Contents
 .. autosummary::
     :signatures: short
 
+    len_wt_lex_cmp
     lenlex_cmp
     lex_cmp
     lexicographical_compare
     recursive_path_compare
+    rev_len_wt_lex_cmp
+    rev_lenlex_cmp
+    rev_lex_cmp
     rev_rpo_cmp
+    rev_wr_cmp
+    rev_wt_lenlex_cmp
+    rev_wt_lex_cmp
     rpo_cmp
     shortlex_compare
 
 Full API
 --------
 
+.. autofunction:: len_wt_lex_cmp
+
 .. autofunction:: lenlex_cmp
 
 .. autofunction:: lex_cmp
@@ -42,8 +51,20 @@ Full API
 
 .. autofunction:: recursive_path_compare
 
+.. autofunction:: rev_len_wt_lex_cmp
+
+.. autofunction:: rev_lenlex_cmp
+
+.. autofunction:: rev_lex_cmp
+
 .. autofunction:: rev_rpo_cmp
 
+.. autofunction:: rev_wr_cmp
+
+.. autofunction:: rev_wt_lenlex_cmp
+
+.. autofunction:: rev_wt_lex_cmp
+
 .. autofunction:: rpo_cmp
 
 .. autofunction:: shortlex_compare

src/libsemigroups_pybind11/__init__.py

@@ -104,6 +104,7 @@
         delta,
         error_message_with_prefix,
         freeband_equal_to,
+        len_wt_lex_cmp as _len_wt_lex_cmp,
         lenlex_cmp as _lenlex_cmp,
         lex_cmp as _lex_cmp,
         lexicographical_compare,
@@ -112,7 +113,13 @@
         random_strings,
         random_word,
         recursive_path_compare,
+        rev_len_wt_lex_cmp as _rev_len_wt_lex_cmp,
+        rev_lenlex_cmp as _rev_lenlex_cmp,
+        rev_lex_cmp as _rev_lex_cmp,
         rev_rpo_cmp as _rev_rpo_cmp,
+        rev_wr_cmp as _rev_wr_cmp,
+        rev_wt_lenlex_cmp as _rev_wt_lenlex_cmp,
+        rev_wt_lex_cmp as _rev_wt_lex_cmp,
         rpo_cmp as _rpo_cmp,
         shortlex_compare,
         side,
@@ -125,9 +132,16 @@
     ) from e
 
 
+len_wt_lex_cmp = _wrap_cxx_free_fn(_len_wt_lex_cmp)
 lenlex_cmp = _wrap_cxx_free_fn(_lenlex_cmp)
 lex_cmp = _wrap_cxx_free_fn(_lex_cmp)
+rev_len_wt_lex_cmp = _wrap_cxx_free_fn(_rev_len_wt_lex_cmp)
+rev_lenlex_cmp = _wrap_cxx_free_fn(_rev_lenlex_cmp)
+rev_lex_cmp = _wrap_cxx_free_fn(_rev_lex_cmp)
 rev_rpo_cmp = _wrap_cxx_free_fn(_rev_rpo_cmp)
+rev_wr_cmp = _wrap_cxx_free_fn(_rev_wr_cmp)
+rev_wt_lenlex_cmp = _wrap_cxx_free_fn(_rev_wt_lenlex_cmp)
+rev_wt_lex_cmp = _wrap_cxx_free_fn(_rev_wt_lex_cmp)
 rpo_cmp = _wrap_cxx_free_fn(_rpo_cmp)
 
 
@@ -169,6 +183,7 @@
     "delta",
     "error_message_with_prefix",
     "freeband_equal_to",
+    "len_wt_lex_cmp",
     "lenlex_cmp",
     "lex_cmp",
     "lexicographical_compare",
@@ -177,7 +192,13 @@
     "random_strings",
     "random_word",
     "recursive_path_compare",
+    "rev_len_wt_lex_cmp",
+    "rev_lenlex_cmp",
+    "rev_lex_cmp",
     "rev_rpo_cmp",
+    "rev_wr_cmp",
+    "rev_wt_lenlex_cmp",
+    "rev_wt_lex_cmp",
     "rpo_cmp",
     "shortlex_compare",
     "side",