hpcombi: add support for FroidurePin

Author: james-d-mitchell

src/froidure-pin.cpp

@@ -22,6 +22,7 @@
 #include <libsemigroups/bipart.hpp>
 #include <libsemigroups/bmat8.hpp>
 #include <libsemigroups/froidure-pin.hpp>
+#include <libsemigroups/hpcombi.hpp>
 #include <libsemigroups/knuth-bendix.hpp>
 #include <libsemigroups/matrix.hpp>
 #include <libsemigroups/pbr.hpp>
@@ -1268,10 +1269,9 @@ This function returns the element of *fp* obtained by evaluating *w*.
               });
       }
     }  // bind_froidure_pin_stateful
-  }    // namespace
+  }  // namespace
 
   void init_froidure_pin(py::module& m) {
-    // TODO(0) uncomment bind_froidure_pin<HPCombiTransf<16>>(m, "Transf16");
     bind_froidure_pin_stateless<Transf<0, uint8_t>>(m, "Transf1");
     bind_froidure_pin_stateless<Transf<0, uint16_t>>(m, "Transf2");
     bind_froidure_pin_stateless<Transf<0, uint32_t>>(m, "Transf4");
@@ -1322,5 +1322,8 @@ This function returns the element of *fp* obtained by evaluating *w*.
         m, "KEWord");  // codespell:ignore keword
 
     bind_froidure_pin_stateful<detail::TCE>(m, "TCE");
+#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
+    bind_froidure_pin_stateless<HPCombi::PTransf16>(m, "HPCombiPTransf16");
+#endif
   }
 }  // namespace libsemigroups

src/hpcombi.cpp

@@ -22,7 +22,7 @@
 // libsemigroups headers
 #include <libsemigroups/hpcombi.hpp>
 
-// #ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
+#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
 
 // pybind11....
 #include <pybind11/operators.h>
@@ -2122,4 +2122,4 @@ namespace libsemigroups {
     HPCombi::init_hpcombi_perm16(m);
   }
 }  // namespace libsemigroups
-// #endif
+#endif

src/libsemigroups_pybind11/froidure_pin.py

@@ -18,6 +18,7 @@
 from typing_extensions import Self as _Self
 
 from _libsemigroups_pybind11 import (
+    LIBSEMIGROUPS_HPCOMBI_ENABLED as _LIBSEMIGROUPS_HPCOMBI_ENABLED,
     PBR as _PBR,
     Bipartition as _Bipartition,
     BMat as _BMat,
@@ -94,6 +95,13 @@
 )
 from .detail.decorators import copydoc as _copydoc
 
+if _LIBSEMIGROUPS_HPCOMBI_ENABLED:
+    from _libsemigroups_pybind11 import (
+        FroidurePinHPCombiPTransf16 as _FroidurePinHPCombiPTransf16,
+        hpcombi_PTransf16 as _HPCombiPTransf16,
+    )
+
+
 ########################################################################
 # The FroidurePin python class
 ########################################################################
@@ -104,32 +112,37 @@ class FroidurePin(_CxxWrapper):
 
     __doc__ = _FroidurePinPBR.__doc__
 
-    _py_template_params_to_cxx_type = {
-        (_BMat,): _FroidurePinBMat,
-        (_BMat8,): _FroidurePinBMat8,
-        (_Bipartition,): _FroidurePinBipartition,
-        (_IntMat,): _FroidurePinIntMat,
-        (_MaxPlusMat,): _FroidurePinMaxPlusMat,
-        (_MaxPlusTruncMat,): _FroidurePinMaxPlusTruncMat,
-        (_MinPlusMat,): _FroidurePinMinPlusMat,
-        (_MinPlusTruncMat,): _FroidurePinMinPlusTruncMat,
-        (_NTPMat,): _FroidurePinNTPMat,
-        (_PBR,): _FroidurePinPBR,
-        (_PPerm1,): _FroidurePinPPerm1,
-        (_PPerm2,): _FroidurePinPPerm2,
-        (_PPerm4,): _FroidurePinPPerm4,
-        (_Perm1,): _FroidurePinPerm1,
-        (_Perm2,): _FroidurePinPerm2,
-        (_Perm4,): _FroidurePinPerm4,
-        (_ProjMaxPlusMat,): _FroidurePinProjMaxPlusMat,
-        (_Transf1,): _FroidurePinTransf1,
-        (_Transf2,): _FroidurePinTransf2,
-        (_Transf4,): _FroidurePinTransf4,
-        (_KBEStringTrie,): _FroidurePinKBEStringRewriteTrie,
-        (_KBEStringFromLeft,): _FroidurePinKBEStringRewriteFromLeft,
-        (_KBEWordTrie,): _FroidurePinKBEWordRewriteTrie,
-        (_KBEWordFromLeft,): _FroidurePinKBEWordRewriteFromLeft,
-    }
+    _py_template_params_to_cxx_type = (
+        {
+            (_BMat,): _FroidurePinBMat,
+            (_BMat8,): _FroidurePinBMat8,
+            (_Bipartition,): _FroidurePinBipartition,
+            (_IntMat,): _FroidurePinIntMat,
+            (_MaxPlusMat,): _FroidurePinMaxPlusMat,
+            (_MaxPlusTruncMat,): _FroidurePinMaxPlusTruncMat,
+            (_MinPlusMat,): _FroidurePinMinPlusMat,
+            (_MinPlusTruncMat,): _FroidurePinMinPlusTruncMat,
+            (_NTPMat,): _FroidurePinNTPMat,
+            (_PBR,): _FroidurePinPBR,
+            (_PPerm1,): _FroidurePinPPerm1,
+            (_PPerm2,): _FroidurePinPPerm2,
+            (_PPerm4,): _FroidurePinPPerm4,
+            (_Perm1,): _FroidurePinPerm1,
+            (_Perm2,): _FroidurePinPerm2,
+            (_Perm4,): _FroidurePinPerm4,
+            (_ProjMaxPlusMat,): _FroidurePinProjMaxPlusMat,
+            (_Transf1,): _FroidurePinTransf1,
+            (_Transf2,): _FroidurePinTransf2,
+            (_Transf4,): _FroidurePinTransf4,
+            (_KBEStringTrie,): _FroidurePinKBEStringRewriteTrie,
+            (_KBEStringFromLeft,): _FroidurePinKBEStringRewriteFromLeft,
+            (_KBEWordTrie,): _FroidurePinKBEWordRewriteTrie,
+            (_KBEWordFromLeft,): _FroidurePinKBEWordRewriteFromLeft,
+        }
+        | {(_HPCombiPTransf16,): _FroidurePinHPCombiPTransf16}
+        if _LIBSEMIGROUPS_HPCOMBI_ENABLED
+        else {}
+    )
 
     _cxx_type_to_py_template_params = dict(
         zip(