cppkh-interface 0.2.0__py3-none-any.whl → 0.2.1__py3-none-any.whl

cppkh_interface/main.py

@@ -14,8 +14,8 @@ import shutil
 import subprocess
 import sys
 import tempfile
-import uuid
-import threading
+import uuid
+import threading
 from importlib import resources
 from typing import Optional, Sequence, Union
 
@@ -46,7 +46,7 @@ def _parse_x_crossings(text: str) -> Optional[list[list[int]]]:
     return crossings if crossings else None
 
 
-def _as_crossings(pd_code: PdInput) -> list[list[int]]:
+def _as_crossings(pd_code: PdInput) -> list[list[int]]:
     if isinstance(pd_code, str):
         body = pd_code.strip()
         if ":" in body:
@@ -71,16 +71,16 @@ def _as_crossings(pd_code: PdInput) -> list[list[int]]:
         if len(values) != 4:
             raise ValueError(f"PD crossing must have four entries: {crossing!r}")
         crossings.append([int(item) for item in values])
-    return crossings
-
-
-def _check_sanity(crossings: list[list[int]]) -> None:
-    counts = {}
-    for crossing in crossings:
-        for label in crossing:
-            counts[label] = counts.get(label, 0) + 1
-    if any(count != 2 for count in counts.values()):
-        raise TypeError("each PD label must occur exactly twice")
+    return crossings
+
+
+def _check_sanity(crossings: list[list[int]]) -> None:
+    counts = {}
+    for crossing in crossings:
+        for label in crossing:
+            counts[label] = counts.get(label, 0) + 1
+    if any(count != 2 for count in counts.values()):
+        raise TypeError("each PD label must occur exactly twice")
 
 
 def normalize_pd_code(pd_code: PdInput) -> str:
@@ -153,14 +153,14 @@ def _exe_suffix() -> str:
     return ".exe" if platform.system() == "Windows" else ""
 
 
-def _shared_suffix() -> str:
-    return ".dll" if platform.system() == "Windows" else (".dylib" if platform.system() == "Darwin" else ".so")
-
-
-def _compiler_parts(command: str) -> list[str]:
-    command = command.strip()
-    if not command:
-        return []
+def _shared_suffix() -> str:
+    return ".dll" if platform.system() == "Windows" else (".dylib" if platform.system() == "Darwin" else ".so")
+
+
+def _compiler_parts(command: str) -> list[str]:
+    command = command.strip()
+    if not command:
+        return []
     unquoted = command
     if len(unquoted) >= 2 and unquoted[0] == unquoted[-1] and unquoted[0] in ("'", '"'):
         unquoted = unquoted[1:-1]
@@ -230,9 +230,9 @@ def _resolve_compiler(cxx: Optional[str] = None) -> list[str]:
     )
 
 
-def _compiler_runtime_path_entries(compiler: Sequence[str]) -> list[str]:
-    paths = []
-    for candidate in compiler:
+def _compiler_runtime_path_entries(compiler: Sequence[str]) -> list[str]:
+    paths = []
+    for candidate in compiler:
         resolved = shutil.which(candidate) or candidate
         path = pathlib.Path(resolved)
         if path.exists() and path.is_file():
@@ -322,30 +322,30 @@ def compile_cppkh(
                 pass
 
 
-def compile_cppkh_shared(*, force: bool = False) -> pathlib.Path:
+def compile_cppkh_shared(*, force: bool = False) -> pathlib.Path:
     """Compile and cache the cppkh C API shared library."""
     with _resource_source_path() as source:
-        source_path = pathlib.Path(source)
-        compiler = _resolve_compiler()
-        flags = _default_compile_flags() + ["-shared", "-DCPPKH_SHARED_LIBRARY"]
-        cache = _cache_dir()
-        library = cache / f"cppkh-{_cache_key(source_path.read_bytes(), flags, compiler)}{_shared_suffix()}"
-        if library.exists() and not force:
-            return library
-        temporary = cache / f"{library.name}.tmp-{os.getpid()}-{uuid.uuid4().hex}{_shared_suffix()}"
-        try:
-            result = _compile_source(compiler, source_path, temporary, flags)
-            if result.returncode != 0 and "-march=native" in flags:
-                result = _compile_source(compiler, source_path, temporary, [flag for flag in flags if flag != "-march=native"])
-            if result.returncode != 0:
-                raise CppkhInterfaceError((result.stderr or result.stdout or "C++ shared compilation failed").strip())
-            os.replace(temporary, library)
-            return library
-        finally:
-            try:
-                temporary.unlink()
-            except OSError:
-                pass
+        source_path = pathlib.Path(source)
+        compiler = _resolve_compiler()
+        flags = _default_compile_flags() + ["-shared", "-DCPPKH_SHARED_LIBRARY"]
+        cache = _cache_dir()
+        library = cache / f"cppkh-{_cache_key(source_path.read_bytes(), flags, compiler)}{_shared_suffix()}"
+        if library.exists() and not force:
+            return library
+        temporary = cache / f"{library.name}.tmp-{os.getpid()}-{uuid.uuid4().hex}{_shared_suffix()}"
+        try:
+            result = _compile_source(compiler, source_path, temporary, flags)
+            if result.returncode != 0 and "-march=native" in flags:
+                result = _compile_source(compiler, source_path, temporary, [flag for flag in flags if flag != "-march=native"])
+            if result.returncode != 0:
+                raise CppkhInterfaceError((result.stderr or result.stdout or "C++ shared compilation failed").strip())
+            os.replace(temporary, library)
+            return library
+        finally:
+            try:
+                temporary.unlink()
+            except OSError:
+                pass
 
 
 _shared_lock = threading.Lock()
@@ -357,7 +357,7 @@ def _load_shared_library():
     global _shared_library
     if _shared_library is not None:
         return _shared_library
-    runtime_paths = _compiler_runtime_path_entries(_resolve_compiler())
+    runtime_paths = _compiler_runtime_path_entries(_resolve_compiler())
     if runtime_paths:
         os.environ["PATH"] = os.pathsep.join(runtime_paths + [os.environ.get("PATH", "")])
     library_path = compile_cppkh_shared()
@@ -373,11 +373,17 @@ def _load_shared_library():
     return library
 
 
-def compute_signed_variants(pd_code: PdInput, signs: Sequence[Sequence[int]]) -> list[str]:
-    """Compute several explicit crossing-sign variants in one native call."""
-    crossings = _as_crossings(pd_code)
-    _check_sanity(crossings)
-    rows = [list(row) for row in signs]
+def compute_signed_variants(pd_code: PdInput, signs: Sequence[Sequence[int]]) -> list[str]:
+    """Compute explicit crossing-sign variants in one native call.
+
+    This additive API does not simplify the PD code because every sign row
+    corresponds positionally to the original crossing list.
+    """
+    crossings = _as_crossings(pd_code)
+    _check_sanity(crossings)
+    rows = [list(row) for row in signs]
+    if not rows:
+        raise ValueError("at least one crossing-sign row is required")
     if any(len(row) != len(crossings) or any(sign not in (-1, 1) for sign in row) for row in rows):
         raise ValueError("each sign row must contain one +1/-1 value per crossing")
     pd_text = _format_pd(crossings).encode("utf-8")

{cppkh_interface-0.2.0.dist-info → cppkh_interface-0.2.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cppkh-interface
-Version: 0.2.0
+Version: 0.2.1
 Summary: Dependency-free Python interface for cppkh with runtime C++ compilation.
 License-Expression: MIT
 Author: GGN_2015
@@ -22,7 +22,7 @@ Description-Content-Type: text/markdown
 `cppkh-interface` is a Python package for computing integer Khovanov homology
 with the C++ `cppkh` implementation.
 
-Version `0.1.3` has no runtime Python-package dependencies. Link crossing signs,
+The package has no runtime Python-package dependencies. Link crossing signs,
 PD validation, R1 removal, and nugatory-crossing removal all use the bundled
 canonical `cppkh` C++ source and its SageMath-compatible orientation rules.
 
@@ -36,6 +36,23 @@ print(cppkh_interface.solve_khovanov(pd_code, de_r1=True, de_k8=True))
 print(cppkh_interface.solve_many_khovanov([pd_code, pd_code]))
 ```
 
+For a multi-component oriented link, callers can compute several explicit
+crossing-sign variants without changing the existing APIs:
+
+```python
+from cppkh_interface import compute_signed_variants
+
+hopf = [[2, 3, 1, 4], [4, 1, 3, 2]]
+results = compute_signed_variants(hopf, [[-1, -1], [1, 1]])
+assert len(results) == 2
+```
+
+Each sign row must contain exactly one `-1` or `1` for every crossing. This
+operation deliberately disables PD simplification because removing a crossing
+would invalidate the positional sign mapping. `solve_khovanov` and
+`solve_many_khovanov` retain their original signatures, inferred-sign behavior,
+and simplification defaults.
+
 Unlike wrappers that ship a prebuilt DLL or shared object, this package ships
 the `cppkh` C++ source file in built distributions and compiles a local
 executable on first use using only Python's standard library. The compiled

cppkh_interface-0.2.1.dist-info/RECORD

@@ -0,0 +1,9 @@
+cppkh_interface/__init__.py,sha256=3UnzgTQISAEQ49eCYzNO7avSVE69a-9OmAmYoyXiN3Q,632
+cppkh_interface/__main__.py,sha256=V_N9eIkVUScS7MAKc_ZQlPTpjOKo9C9y_OU24bKGjzE,84
+cppkh_interface/main.py,sha256=3mB2PSaqsWsdTkNvIPbo2ddd4WAM8gFvd-2ZyS4oUmg,22492
+cppkh_interface/py.typed,sha256=frcCV1k9oG9oKj3dpUqdJg1PxRT2RSN_XKdLCPjaYaY,2
+cppkh_interface-0.2.1.dist-info/entry_points.txt,sha256=CsnHBNaO_RJe4eFXmEZpSxWu-c1aF0RpjVFaEGlIm4Y,61
+cppkh_interface-0.2.1.dist-info/METADATA,sha256=xOOQwSwQmm6bJwG91-bKOtkp0v5U2v-owE08KN-ZfeE,3452
+cppkh_interface-0.2.1.dist-info/WHEEL,sha256=eY7nduwzv-ldUxpzbRlxwvC693Hg6PX8bWDjEHjZ_dk,88
+cppkh_interface/data/src/main.cpp,sha256=B4vC99VK4uObcne_ri7yKZE1G5Ra3c0dcmAQPVhZaQM,153584
+cppkh_interface-0.2.1.dist-info/RECORD,,

{cppkh_interface-0.2.0.dist-info → cppkh_interface-0.2.1.dist-info}/WHEEL

@@ -1,4 +1,4 @@
 Wheel-Version: 1.0
-Generator: poetry-core 2.4.0
+Generator: poetry-core 2.4.1
 Root-Is-Purelib: true
 Tag: py3-none-any

cppkh_interface-0.2.0.dist-info/RECORD

@@ -1,8 +0,0 @@
-cppkh_interface/__init__.py,sha256=3UnzgTQISAEQ49eCYzNO7avSVE69a-9OmAmYoyXiN3Q,632
-cppkh_interface/__main__.py,sha256=V_N9eIkVUScS7MAKc_ZQlPTpjOKo9C9y_OU24bKGjzE,84
-cppkh_interface/main.py,sha256=m8e62e9x37fAYRL6V040fiX8aCxYDBtdnnXplPSQph8,22229
-cppkh_interface/py.typed,sha256=frcCV1k9oG9oKj3dpUqdJg1PxRT2RSN_XKdLCPjaYaY,2
-cppkh_interface-0.2.0.dist-info/entry_points.txt,sha256=CsnHBNaO_RJe4eFXmEZpSxWu-c1aF0RpjVFaEGlIm4Y,61
-cppkh_interface-0.2.0.dist-info/METADATA,sha256=W2Z_pWAAW-QXNNvdtKGZj2Xq20VDeYKlmo-GfnViCEE,2802
-cppkh_interface-0.2.0.dist-info/WHEEL,sha256=EGEvSphFYqXKs23-kQBeyNoJP1nrT8ZJKQoi5p5DYL8,88
-cppkh_interface-0.2.0.dist-info/RECORD,,