cpp-pd-code-simplify-interface 0.1.2__tar.gz → 0.1.9__tar.gz

{cpp_pd_code_simplify_interface-0.1.2 → cpp_pd_code_simplify_interface-0.1.9}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpp-pd-code-simplify-interface
-Version: 0.1.2
+Version: 0.1.9
 Summary: Python interface for cpp-pd-code-simplify with runtime C++ compilation.
 License-Expression: MIT
 Author: GGN_2015
@@ -34,8 +34,20 @@ use, the package compiles a cached local dynamic library through
 `cpp-simple-interface`; later calls reuse that library through `ctypes`. A C++14
 compiler compatible with `g++` must be available at runtime.
 
+Runtime dependencies are handled per platform. On Windows, the interface uses
+`objdump -p` or `dumpbin /DEPENDENTS` when available, then caches MinGW runtime
+DLLs such as `libstdc++-6.dll`, `libgcc_s_*.dll`, and `libwinpthread-1.dll`
+next to the generated DLL. On Linux it adds `$ORIGIN` rpath and can inspect
+`ldd`; on macOS it adds `@loader_path` rpath and can inspect `otool -L`. Load
+failures are wrapped with platform-specific dependency hints.
+
+The core C++ source and header are not stored as permanent generated copies in
+this subproject. The custom Poetry build backend syncs them from the repository
+root during `poetry build`, embeds them in the wheel and sdist, then removes the
+temporary copies from the working tree.
+
 Calls use the C++ library's default preprocessing pipeline: R1-move removal
-followed by nugatory-crossing removal.
+followed by nugatory-crossing removal, then iterative mid-simplification.
 
 ## Example
 
@@ -44,12 +56,19 @@ import cpp_pd_code_simplify_interface as simplify
 
 pd_code = "PD[X[1,5,2,4],X[3,1,4,6],X[5,3,6,2]]"
 result = simplify.simplify(pd_code)
-print(result["simplification_found"])
+print(result["final_pd_code"])
 ```
 
+Returned `final_pd_code` strings are normalized so the smallest edge label is
+`1`. This is applied only at the final JSON boundary; the C++ backend keeps its
+internal numbering unchanged while simplifying.
+
 The default `max_paths=-1` uses deterministic heuristic green-path sampling in
 the C++ backend. Use `ban_heuristic=True` to request exhaustive green-path
-enumeration for a manageable input.
+enumeration for a manageable input. Use `reduction_round=K` to cap applied
+mid-simplification rounds; the default `-1` runs until stable. Use
+`verbose=True` to forward timestamped C++ progress logs to stderr. Verbose log
+lines use local wall-clock time in `YYYY-MM-DD HH:MM:SS` format.
 
 Batch use:
 
@@ -76,7 +95,7 @@ Python process needs a 64-bit compiler target.
 Command-line use also supports multi-line PD-code files:
 
 ```sh
-python -m cpp_pd_code_simplify_interface --pd-file inputs.pd --max-paths -1
+python -m cpp_pd_code_simplify_interface --pd-file inputs.pd --max-paths -1 --verbose
 ```
 
 ## Build And Publish

{cpp_pd_code_simplify_interface-0.1.2 → cpp_pd_code_simplify_interface-0.1.9}/README.md

@@ -14,8 +14,20 @@ use, the package compiles a cached local dynamic library through
 `cpp-simple-interface`; later calls reuse that library through `ctypes`. A C++14
 compiler compatible with `g++` must be available at runtime.
 
+Runtime dependencies are handled per platform. On Windows, the interface uses
+`objdump -p` or `dumpbin /DEPENDENTS` when available, then caches MinGW runtime
+DLLs such as `libstdc++-6.dll`, `libgcc_s_*.dll`, and `libwinpthread-1.dll`
+next to the generated DLL. On Linux it adds `$ORIGIN` rpath and can inspect
+`ldd`; on macOS it adds `@loader_path` rpath and can inspect `otool -L`. Load
+failures are wrapped with platform-specific dependency hints.
+
+The core C++ source and header are not stored as permanent generated copies in
+this subproject. The custom Poetry build backend syncs them from the repository
+root during `poetry build`, embeds them in the wheel and sdist, then removes the
+temporary copies from the working tree.
+
 Calls use the C++ library's default preprocessing pipeline: R1-move removal
-followed by nugatory-crossing removal.
+followed by nugatory-crossing removal, then iterative mid-simplification.
 
 ## Example
 
@@ -24,12 +36,19 @@ import cpp_pd_code_simplify_interface as simplify
 
 pd_code = "PD[X[1,5,2,4],X[3,1,4,6],X[5,3,6,2]]"
 result = simplify.simplify(pd_code)
-print(result["simplification_found"])
+print(result["final_pd_code"])
 ```
 
+Returned `final_pd_code` strings are normalized so the smallest edge label is
+`1`. This is applied only at the final JSON boundary; the C++ backend keeps its
+internal numbering unchanged while simplifying.
+
 The default `max_paths=-1` uses deterministic heuristic green-path sampling in
 the C++ backend. Use `ban_heuristic=True` to request exhaustive green-path
-enumeration for a manageable input.
+enumeration for a manageable input. Use `reduction_round=K` to cap applied
+mid-simplification rounds; the default `-1` runs until stable. Use
+`verbose=True` to forward timestamped C++ progress logs to stderr. Verbose log
+lines use local wall-clock time in `YYYY-MM-DD HH:MM:SS` format.
 
 Batch use:
 
@@ -56,7 +75,7 @@ Python process needs a 64-bit compiler target.
 Command-line use also supports multi-line PD-code files:
 
 ```sh
-python -m cpp_pd_code_simplify_interface --pd-file inputs.pd --max-paths -1
+python -m cpp_pd_code_simplify_interface --pd-file inputs.pd --max-paths -1 --verbose
 ```
 
 ## Build And Publish

{cpp_pd_code_simplify_interface-0.1.2 → cpp_pd_code_simplify_interface-0.1.9}/build_backend/cpp_pd_code_simplify_interface_build_backend.py

@@ -15,17 +15,12 @@ from poetry.core.masonry import api as poetry_api
 PROJECT_ROOT = Path(__file__).resolve().parents[1]
 REPO_ROOT = PROJECT_ROOT.parents[1]
 
-SOURCE_FILES = [
+EMBEDDED_SOURCE_FILES = [
     (
         REPO_ROOT / "src" / "pdcode_simplify.cpp",
         PROJECT_ROOT / "cpp_pd_code_simplify_interface" / "data" / "src" / "pdcode_simplify.cpp",
         "cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp",
     ),
-    (
-        PROJECT_ROOT / "cpp_pd_code_simplify_interface" / "data" / "src" / "native_interface.cpp",
-        PROJECT_ROOT / "cpp_pd_code_simplify_interface" / "data" / "src" / "native_interface.cpp",
-        "cpp_pd_code_simplify_interface/data/src/native_interface.cpp",
-    ),
     (
         REPO_ROOT / "include" / "pdcode_simplify" / "pdcode_simplify.hpp",
         PROJECT_ROOT
@@ -38,23 +33,39 @@ SOURCE_FILES = [
     ),
 ]
 
+STATIC_SOURCE_FILES = [
+    (
+        PROJECT_ROOT / "cpp_pd_code_simplify_interface" / "data" / "src" / "native_interface.cpp",
+        PROJECT_ROOT / "cpp_pd_code_simplify_interface" / "data" / "src" / "native_interface.cpp",
+        "cpp_pd_code_simplify_interface/data/src/native_interface.cpp",
+    ),
+]
+
+SOURCE_FILES = EMBEDDED_SOURCE_FILES + STATIC_SOURCE_FILES
+
 
 def _sync_cpp_sources() -> None:
     missing = []
-    for source, target, _ in SOURCE_FILES:
+    for source, target, _ in EMBEDDED_SOURCE_FILES:
         if source.exists():
-            if source.resolve() != target.resolve():
+            if (
+                source.resolve() != target.resolve()
+                and (not target.exists() or source.read_bytes() != target.read_bytes())
+            ):
                 target.parent.mkdir(parents=True, exist_ok=True)
                 shutil.copyfile(source, target)
         elif not target.exists():
             missing.append((source, target))
+    for source, target, _ in STATIC_SOURCE_FILES:
+        if not source.exists() and not target.exists():
+            missing.append((source, target))
     if missing:
         details = ", ".join(f"{source} or {target}" for source, target in missing)
         raise FileNotFoundError(f"cpp-pd-code-simplify source files were not found: {details}")
 
 
 def _clean_cpp_sources() -> None:
-    for source, target, _ in SOURCE_FILES:
+    for source, target, _ in EMBEDDED_SOURCE_FILES:
         if source.exists() and target.exists() and source.resolve() != target.resolve():
             target.unlink()
 

{cpp_pd_code_simplify_interface-0.1.2 → cpp_pd_code_simplify_interface-0.1.9}/cpp_pd_code_simplify_interface/data/include/pdcode_simplify/pdcode_simplify.hpp

@@ -2,6 +2,7 @@
 
 #include <array>
 #include <cstddef>
+#include <functional>
 #include <iosfwd>
 #include <string>
 #include <vector>
@@ -49,7 +50,11 @@ struct GreenCrossing {
 
 struct SimplifierOptions {
     int max_paths = -1;
+    int max_threads = -1;
     bool ban_heuristic = false;
+    bool require_applicable = false;
+    bool verbose = false;
+    std::function<void(const std::string&)> progress;
 };
 
 struct LinkComponentSummary {
@@ -82,13 +87,6 @@ struct RandomInflationResult {
     int type_ii_moves = 0;
 };
 
-struct ReidemeisterSimplificationResult {
-    PDCode code;
-    std::size_t crossingless_components = 0;
-    int type_i_moves = 0;
-    int type_ii_moves = 0;
-};
-
 struct PDSimplificationResult {
     PDCode code;
     std::size_t crossingless_components = 0;
@@ -107,8 +105,27 @@ struct SimplificationResult {
     std::size_t tested_green_paths = 0;
 };
 
+struct MidSimplificationApplyResult {
+    PDCode code;
+    std::size_t crossingless_components = 0;
+};
+
+struct ReductionResult {
+    PDCode code;
+    std::size_t crossingless_components = 0;
+    int mid_simplification_rounds = 0;
+    int heuristic_failover_rounds = 0;
+    int reidemeister_i_moves = 0;
+    int nugatory_crossing_moves = 0;
+    std::size_t tested_red_paths = 0;
+    std::size_t tested_green_paths = 0;
+    std::string last_path_search_mode;
+    bool stopped_by_round_limit = false;
+};
+
 PDCODE_SIMPLIFY_API PDCode parse_pd_code(const std::string& text);
 PDCODE_SIMPLIFY_API std::string format_pd_code(const PDCode& code);
+PDCODE_SIMPLIFY_API std::string format_final_pd_code(const PDCode& code);
 PDCODE_SIMPLIFY_API std::string format_endpoint(const Endpoint& endpoint);
 PDCODE_SIMPLIFY_API std::string format_direction(Direction direction);
 
@@ -130,10 +147,6 @@ PDCODE_SIMPLIFY_API RandomInflationResult randomly_increase_crossings(
     const PDCode& code,
     const RandomInflationOptions& options = RandomInflationOptions{});
 
-PDCODE_SIMPLIFY_API ReidemeisterSimplificationResult simplify_reidemeister_i_ii(
-    const PDCode& code,
-    std::size_t known_crossingless_components = 0);
-
 PDCODE_SIMPLIFY_API PDSimplificationResult simplify_pd_code(
     const PDCode& code,
     std::size_t known_crossingless_components = 0);
@@ -142,6 +155,17 @@ PDCODE_SIMPLIFY_API SimplificationResult find_simplification(
     const PDCode& code,
     const SimplifierOptions& options = SimplifierOptions{});
 
+PDCODE_SIMPLIFY_API MidSimplificationApplyResult apply_simplification_witness(
+    const PDCode& code,
+    const SimplificationResult& result,
+    std::size_t known_crossingless_components = 0);
+
+PDCODE_SIMPLIFY_API ReductionResult reduce_pd_code(
+    const PDCode& code,
+    std::size_t known_crossingless_components = 0,
+    const SimplifierOptions& options = SimplifierOptions{},
+    int reduction_round = -1);
+
 PDCODE_SIMPLIFY_API std::ostream& operator<<(std::ostream& out, const Endpoint& endpoint);
 
 }  // namespace pdcode_simplify

{cpp_pd_code_simplify_interface-0.1.2 → cpp_pd_code_simplify_interface-0.1.9}/cpp_pd_code_simplify_interface/data/src/native_interface.cpp

@@ -2,13 +2,34 @@
 
 #include <cstdlib>
 #include <cstring>
+#include <ctime>
 #include <exception>
+#include <iomanip>
+#include <iostream>
 #include <sstream>
 #include <string>
 #include <vector>
 
 namespace {
 
+std::string local_timestamp() {
+    const std::time_t now = std::time(nullptr);
+    std::tm local{};
+#if defined(_WIN32)
+    localtime_s(&local, &now);
+#else
+    localtime_r(&now, &local);
+#endif
+    std::ostringstream out;
+    out << std::put_time(&local, "%Y-%m-%d %H:%M:%S");
+    return out.str();
+}
+
+void print_progress_log(const std::string& message) {
+    std::cerr << "[pdcode-simplify " << local_timestamp() << "] "
+              << message << '\n';
+}
+
 bool denotes_crossingless_unknot(const std::string& text) {
     std::string compact;
     for (char c : text) {
@@ -55,14 +76,14 @@ void append_component_counts(
 }
 
 std::string result_to_json(
-    const pdcode_simplify::SimplificationResult& result,
+    const pdcode_simplify::ReductionResult& result,
     const pdcode_simplify::ComponentAnalysis& input_components,
-    const pdcode_simplify::ComponentAnalysis* after_removal_components,
-    const pdcode_simplify::PDSimplificationResult& pd_simplification,
-    const pdcode_simplify::ComponentAnalysis& search_components) {
+    const pdcode_simplify::ComponentAnalysis& final_components,
+    const pdcode_simplify::ComponentAnalysis* after_removal_components) {
     std::ostringstream out;
     out << "{";
-    out << "\"simplification_found\":" << (result.found ? "true" : "false") << ",";
+    out << "\"simplification_found\":"
+        << (result.mid_simplification_rounds > 0 ? "true" : "false") << ",";
     out << "\"input_components\":{";
     append_component_counts(out, input_components);
     out << "},";
@@ -71,50 +92,21 @@ std::string result_to_json(
         append_component_counts(out, *after_removal_components);
         out << "},";
     }
-    out << "\"pd_simplification\":{"
-        << "\"enabled\":true,"
-        << "\"reidemeister_i_moves\":" << pd_simplification.reidemeister_i_moves << ","
-        << "\"nugatory_crossing_moves\":" << pd_simplification.nugatory_crossing_moves << ","
-        << "\"output_crossings\":" << pd_simplification.code.size()
-        << "},";
-    out << "\"search_components\":{";
-    append_component_counts(out, search_components);
+    out << "\"final_pd_code\":\"" << json_escape(pdcode_simplify::format_final_pd_code(result.code))
+        << "\",";
+    out << "\"final_crossings\":" << result.code.size() << ",";
+    out << "\"final_components\":{";
+    append_component_counts(out, final_components);
     out << "},";
+    out << "\"mid_simplification_rounds\":" << result.mid_simplification_rounds << ",";
+    out << "\"heuristic_failover_rounds\":" << result.heuristic_failover_rounds << ",";
+    out << "\"reidemeister_i_moves\":" << result.reidemeister_i_moves << ",";
+    out << "\"nugatory_crossing_moves\":" << result.nugatory_crossing_moves << ",";
     out << "\"tested_red_paths\":" << result.tested_red_paths << ",";
     out << "\"tested_green_paths\":" << result.tested_green_paths << ",";
-    out << "\"path_search_mode\":\"" << json_escape(result.path_search_mode) << "\"";
-    if (result.found) {
-        out << ",";
-        out << "\"direction\":\"" << pdcode_simplify::format_direction(result.direction) << "\",";
-        out << "\"red_path\":[";
-        for (std::size_t i = 0; i < result.red_path.size(); ++i) {
-            if (i != 0) {
-                out << ",";
-            }
-            out << "{\"crossing\":" << result.red_path[i].crossing
-                << ",\"strand\":" << result.red_path[i].strand << "}";
-        }
-        out << "],";
-        out << "\"green_path\":[";
-        for (std::size_t i = 0; i < result.green_path.size(); ++i) {
-            if (i != 0) {
-                out << ",";
-            }
-            out << result.green_path[i];
-        }
-        out << "],";
-        out << "\"green_crossings\":[";
-        for (std::size_t i = 0; i < result.green_crossings.size(); ++i) {
-            if (i != 0) {
-                out << ",";
-            }
-            const auto& crossing = result.green_crossings[i];
-            out << "{\"from_face\":" << crossing.from_face
-                << ",\"to_face\":" << crossing.to_face
-                << ",\"strand_level\":\"" << json_escape(crossing.strand_level) << "\"}";
-        }
-        out << "]";
-    }
+    out << "\"last_path_search_mode\":\"" << json_escape(result.last_path_search_mode) << "\",";
+    out << "\"stopped_by_round_limit\":"
+        << (result.stopped_by_round_limit ? "true" : "false");
     out << "}";
     return out.str();
 }
@@ -139,6 +131,9 @@ char* pdcode_simplify_run_json(
     const char* pd_text,
     int max_paths,
     int ban_heuristic,
+    int reduction_round,
+    int max_thread,
+    int verbose,
     unsigned long long known_crossingless_components,
     const int* removed_crossings,
     unsigned long long removed_crossing_count) {
@@ -150,7 +145,12 @@ char* pdcode_simplify_run_json(
         const std::string text(pd_text);
         pdcode_simplify::SimplifierOptions options;
         options.max_paths = max_paths;
+        options.max_threads = max_thread;
         options.ban_heuristic = ban_heuristic != 0;
+        options.verbose = verbose != 0;
+        options.progress = [](const std::string& message) {
+            print_progress_log(message);
+        };
 
         const pdcode_simplify::PDCode code = pdcode_simplify::parse_pd_code(text);
         std::size_t crossingless = static_cast<std::size_t>(known_crossingless_components);
@@ -170,17 +170,15 @@ char* pdcode_simplify_run_json(
                     code, removed, crossingless);
         }
 
-        const auto pd_simplification = pdcode_simplify::simplify_pd_code(code, crossingless);
-        const auto search_components = pdcode_simplify::analyze_components(
-            pd_simplification.code,
-            pd_simplification.crossingless_components);
-        const auto result = pdcode_simplify::find_simplification(pd_simplification.code, options);
+        const auto result =
+            pdcode_simplify::reduce_pd_code(code, crossingless, options, reduction_round);
+        const auto final_components =
+            pdcode_simplify::analyze_components(result.code, result.crossingless_components);
         return copy_string(result_to_json(
             result,
             input_components,
-            has_removal ? &after_removal_components : nullptr,
-            pd_simplification,
-            search_components));
+            final_components,
+            has_removal ? &after_removal_components : nullptr));
     } catch (const std::exception& error) {
         return copy_string(std::string("{\"error\":\"") + json_escape(error.what()) + "\"}");
     } catch (...) {