hpcombi: add support for Konieczny

Author: james-d-mitchell

src/konieczny.cpp

@@ -751,6 +751,15 @@ not already known.
     bind_konieczny<PPerm<0, uint8_t>>(m, "PPerm1");
     bind_konieczny<PPerm<0, uint16_t>>(m, "PPerm2");
     bind_konieczny<PPerm<0, uint32_t>>(m, "PPerm4");
+
+#ifdef LIBSEMIGROUPS_HPCOMBI_ENABLED
+    // TODO impl in libsemigroups
+    // bind_konieczny<HPCombi::PTransf16>(m, "HPCombiPTransf16");
+    // TODO impl in libsemigroups
+    // bind_konieczny<HPCombi::Perm16>(m, "HPCombiPerm16");
+    bind_konieczny<HPCombi::Transf16>(m, "HPCombiTransf16");
+    bind_konieczny<HPCombi::PPerm16>(m, "HPCombiPPerm16");
+#endif
   }
 
 }  // namespace libsemigroups

src/libsemigroups_pybind11/konieczny.py

@@ -14,6 +14,7 @@
 from typing_extensions import Self as _Self
 
 from _libsemigroups_pybind11 import (
+    LIBSEMIGROUPS_HPCOMBI_ENABLED as _LIBSEMIGROUPS_HPCOMBI_ENABLED,
     BMat as _BMat,
     BMat8 as _BMat8,
     KoniecznyBMat as _KoniecznyBMat,
@@ -49,6 +50,16 @@
 )
 from .detail.decorators import copydoc as _copydoc
 
+if _LIBSEMIGROUPS_HPCOMBI_ENABLED:
+    from _libsemigroups_pybind11 import (
+        KoniecznyHPCombiPPerm16 as _KoniecznyHPCombiPPerm16,
+        KoniecznyHPCombiPPerm16DClass as _KoniecznyHPCombiPPerm16DClass,
+        KoniecznyHPCombiTransf16 as _KoniecznyHPCombiTransf16,
+        KoniecznyHPCombiTransf16DClass as _KoniecznyHPCombiTransf16DClass,
+        hpcombi_PPerm16 as _HPCombiPPerm16,
+        hpcombi_Transf16 as _HPCombiTransf16,
+    )
+
 ########################################################################
 # Konieczny python class
 ########################################################################
@@ -58,16 +69,24 @@ class Konieczny(_CxxWrapper):
     Element = _TypeVar("Element")
     __doc__ = _KoniecznyBMat.__doc__
 
-    _py_template_params_to_cxx_type = {
-        (_BMat,): _KoniecznyBMat,
-        (_BMat8,): _KoniecznyBMat8,
-        (_PPerm1,): _KoniecznyPPerm1,
-        (_PPerm2,): _KoniecznyPPerm2,
-        (_PPerm4,): _KoniecznyPPerm4,
-        (_Transf1,): _KoniecznyTransf1,
-        (_Transf2,): _KoniecznyTransf2,
-        (_Transf4,): _KoniecznyTransf4,
-    }
+    _py_template_params_to_cxx_type = (
+        {
+            (_BMat,): _KoniecznyBMat,
+            (_BMat8,): _KoniecznyBMat8,
+            (_PPerm1,): _KoniecznyPPerm1,
+            (_PPerm2,): _KoniecznyPPerm2,
+            (_PPerm4,): _KoniecznyPPerm4,
+            (_Transf1,): _KoniecznyTransf1,
+            (_Transf2,): _KoniecznyTransf2,
+            (_Transf4,): _KoniecznyTransf4,
+        }
+        | {
+            (_HPCombiPPerm16,): _KoniecznyHPCombiPPerm16,
+            (_HPCombiTransf16,): _KoniecznyHPCombiTransf16,
+        }
+        if _LIBSEMIGROUPS_HPCOMBI_ENABLED
+        else {}
+    )
 
     _cxx_type_to_py_template_params = dict(
         zip(
@@ -88,16 +107,24 @@ class DClass(_CxxWrapper):
 
         Element = _TypeVar("Element")
 
-        _py_template_params_to_cxx_type = {
-            (_BMat,): _KoniecznyBMatDClass,
-            (_BMat8,): _KoniecznyBMat8DClass,
-            (_PPerm1,): _KoniecznyPPerm1DClass,
-            (_PPerm2,): _KoniecznyPPerm2DClass,
-            (_PPerm4,): _KoniecznyPPerm4DClass,
-            (_Transf1,): _KoniecznyTransf1DClass,
-            (_Transf2,): _KoniecznyTransf2DClass,
-            (_Transf4,): _KoniecznyTransf4DClass,
-        }
+        _py_template_params_to_cxx_type = (
+            {
+                (_BMat,): _KoniecznyBMatDClass,
+                (_BMat8,): _KoniecznyBMat8DClass,
+                (_PPerm1,): _KoniecznyPPerm1DClass,
+                (_PPerm2,): _KoniecznyPPerm2DClass,
+                (_PPerm4,): _KoniecznyPPerm4DClass,
+                (_Transf1,): _KoniecznyTransf1DClass,
+                (_Transf2,): _KoniecznyTransf2DClass,
+                (_Transf4,): _KoniecznyTransf4DClass,
+            }
+            | {
+                (_HPCombiPPerm16,): _KoniecznyHPCombiPPerm16DClass,
+                (_HPCombiTransf16,): _KoniecznyHPCombiTransf16DClass,
+            }
+            if _LIBSEMIGROUPS_HPCOMBI_ENABLED
+            else {}
+        )
 
         _cxx_type_to_py_template_params = dict(
             zip(