cpp-pd-code-simplify-interface 0.1.16__py3-none-any.whl → 0.1.18__py3-none-any.whl

cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp

@@ -68,6 +68,8 @@ struct CrossingState {
 
 using LabelMap = std::unordered_map<int, std::vector<Endpoint>>;
 
+PDCode canonical_output_code(const PDCode& code);
+
 LabelMap build_label_map(const PDCode& code) {
     LabelMap labels;
     for (int c = 0; c < static_cast<int>(code.size()); ++c) {
@@ -227,6 +229,7 @@ PDCode erase_r1_moves(PDCode code, std::size_t& crossingless_components, int& mo
             }
 
             crossingless_components = after_removal.crossingless_components;
+            code = canonical_output_code(code);
             ++moves;
             changed = true;
             break;
@@ -237,7 +240,7 @@ PDCode erase_r1_moves(PDCode code, std::size_t& crossingless_components, int& mo
         }
     }
 
-    return renumber_r1_order(code);
+    return canonical_output_code(renumber_r1_order(code));
 }
 
 std::map<int, std::set<int>> base_pd_graph(const PDCode& code) {
@@ -457,7 +460,7 @@ PDCode erase_one_nugatory_crossing(
     code = replace_arc_value(code, dx, bx);
     crossingless_components = after_removal.crossingless_components;
     ++moves;
-    return renumber_full_dfs(code);
+    return canonical_output_code(renumber_full_dfs(code));
 }
 
 std::vector<std::vector<int>> raw_faces_from_pd_code(const PDCode& code) {
@@ -1842,6 +1845,10 @@ void emit_step_pd(const SimplifierOptions& options, int round, const PDCode& cod
     }
 }
 
+PDCode canonical_output_code(const PDCode& code) {
+    return parse_pd_code(format_final_pd_code(code));
+}
+
 std::string search_mode_for_options(const SimplifierOptions& options) {
     if (options.max_paths == -1 && !options.ban_heuristic) {
         return "heuristic";
@@ -2187,7 +2194,7 @@ PDSimplificationResult simplify_pd_code(
     const PDCode& code,
     std::size_t known_crossingless_components) {
     PDSimplificationResult result;
-    result.code = code;
+    result.code = canonical_output_code(code);
     result.crossingless_components = known_crossingless_components;
 
     result.code = erase_r1_moves(
@@ -2555,7 +2562,7 @@ ReductionResult reduce_pd_code(
 
         const PDSimplificationResult prepared =
             simplify_pd_code(code, known_crossingless_components);
-        output.code = prepared.code;
+        output.code = canonical_output_code(prepared.code);
         output.crossingless_components = prepared.crossingless_components;
         output.reidemeister_i_moves = prepared.reidemeister_i_moves;
         output.nugatory_crossing_moves = prepared.nugatory_crossing_moves;
@@ -2643,14 +2650,15 @@ ReductionResult reduce_pd_code(
             check_timeout(run_options);
             const MidSimplificationApplyResult applied =
                 apply_simplification_witness(output.code, search, output.crossingless_components);
+            const PDCode applied_code = canonical_output_code(applied.code);
             ++output.mid_simplification_rounds;
-            emit_step_pd(run_options, round, applied.code);
-            output.code = applied.code;
+            emit_step_pd(run_options, round, applied_code);
+            output.code = applied_code;
             output.crossingless_components = applied.crossingless_components;
             check_timeout(run_options);
             const PDSimplificationResult simplified =
                 simplify_pd_code(output.code, output.crossingless_components);
-            output.code = simplified.code;
+            output.code = canonical_output_code(simplified.code);
             output.crossingless_components = simplified.crossingless_components;
             output.reidemeister_i_moves += simplified.reidemeister_i_moves;
             output.nugatory_crossing_moves += simplified.nugatory_crossing_moves;

{cpp_pd_code_simplify_interface-0.1.16.dist-info → cpp_pd_code_simplify_interface-0.1.18.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: cpp-pd-code-simplify-interface
-Version: 0.1.16
+Version: 0.1.18
 Summary: Python interface for cpp-pd-code-simplify with runtime C++ compilation.
 License-Expression: MIT
 Author: GGN_2015
@@ -79,7 +79,8 @@ the C++ backend for that phase. The backend call runs in a helper process, so
 `Ctrl+C` can terminate active C++ work and its worker threads cleanly.
 Use `show_step_pd=True`, or CLI flag `--show-step-pd`, to print
 `step_pd_code[ROUND]: PD[...]` to stdout after each mid-simplification witness
-is applied and before that round's automatic R1/nugatory cleanup.
+is applied and canonicalized, before that round's automatic R1/nugatory
+cleanup.
 
 Batch use:
 

{cpp_pd_code_simplify_interface-0.1.16.dist-info → cpp_pd_code_simplify_interface-0.1.18.dist-info}/RECORD

@@ -3,10 +3,10 @@ cpp_pd_code_simplify_interface/__main__.py,sha256=ldwc-YVQlsSH9RwXZHCW4r1pmfCBM0
 cpp_pd_code_simplify_interface/_worker.py,sha256=RPLUE-4amjh78C1fmFolmSIM2_s8AXWk-2fWvASq7A0,2338
 cpp_pd_code_simplify_interface/main.py,sha256=CDylx7K0tiaNNtu4jYVZfpYMGuSo6tL0RRX5P_lA5bU,39185
 cpp_pd_code_simplify_interface/py.typed,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
-cpp_pd_code_simplify_interface-0.1.16.dist-info/entry_points.txt,sha256=ThorC4Enxp317TKITsXm9pE0gUp7pt-pP6Dl5mEPUR8,91
-cpp_pd_code_simplify_interface-0.1.16.dist-info/METADATA,sha256=PqsV_wAaEO9K7FYhzTC5b_8J7m3yq785CrCHQhXxuFA,4762
-cpp_pd_code_simplify_interface-0.1.16.dist-info/WHEEL,sha256=eY7nduwzv-ldUxpzbRlxwvC693Hg6PX8bWDjEHjZ_dk,88
+cpp_pd_code_simplify_interface-0.1.18.dist-info/entry_points.txt,sha256=ThorC4Enxp317TKITsXm9pE0gUp7pt-pP6Dl5mEPUR8,91
+cpp_pd_code_simplify_interface-0.1.18.dist-info/METADATA,sha256=iBj6YG4S64oV1ZP0akPZ4LWVtp8OzQgL-h6nwryo3H8,4777
+cpp_pd_code_simplify_interface-0.1.18.dist-info/WHEEL,sha256=eY7nduwzv-ldUxpzbRlxwvC693Hg6PX8bWDjEHjZ_dk,88
 cpp_pd_code_simplify_interface/data/include/pdcode_simplify/pdcode_simplify.hpp,sha256=U49Urs6bMXwkygJsVTnXp-q7y_aWkfRfGimy8mxHoms,5195
 cpp_pd_code_simplify_interface/data/src/native_interface.cpp,sha256=YiYlbGyWTM_FA0V_XzjHtnb9sD4eqMGQmdom6ivm0f0,7094
-cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp,sha256=2XhK8pWM_IakPFXybm7k7y3YwvO2Jm73Nn4b5x3HETc,95982
-cpp_pd_code_simplify_interface-0.1.16.dist-info/RECORD,,
+cpp_pd_code_simplify_interface/data/src/pdcode_simplify.cpp,sha256=T1CHWXYDfmUd6ZGBlIGwIGXhPeZkBKjKvFc9wV4NJSQ,96381
+cpp_pd_code_simplify_interface-0.1.18.dist-info/RECORD,,