braid_equivalent — DRIVE braidpath op

• 数据种类:signal × signal × scalar → table

• 调用: import fullseye as fs; fs.ledger.braid_equivalent(word_a, word_b, n_strands, method='dynnikov')(要直接调用实现,import braidpath; braidpath.braid_equivalent(word_a, word_b, n_strands, method='dynnikov');从台账取用则 opsdrive.get("braid_equivalent"))

• GPU:无(仅 CPU 参考实现)

用法

两个辫字是否为同一辫(能否仅通过关系式互相变换)。

method:"dynnikov"(比较坐标,快)/ "handle"(将 a b⁻¹ 柄约化后看是否为空)/ "artin"(比较自由群的像)/ "all"(三者都计算,不一致则 RuntimeError —— 实现的检查)。

Returns: dict equal、method、key_a / key_b(Dynnikov 的键)、reduced_quotient(a b⁻¹ 的约化, handle / all 时)。

空输入(word_a 为 0 个元素)返回与平凡辫比较的答案(理由:空字是单位元,是正确的辫)。

参考(示例数据、文献)

• 示例数据目录(下载 URL / 许可证) —— 2-D 用 skimage.data(BSD/公有领域)加合成图,3-D 给出真实数据源(Stanford/PDS 等)的下载 URL。

• 算子来历与参考文献 —— 该算子族所依据的研究/方法出处。

• 算法的正典(作者、年份)与用途见上面的族使用指南。

可运行的示例(实际调用该算子并已验证的样例)

• poc_braid_homotopy_classes — py -3.11 examples/poc_braid_homotopy_classes.py

类型可衔接的下一个算子(可接受 table 作为输入)

course_layout · course_occupancy · course_contains · world_build · world_camera · world_move · lidar_scan · rss_longitudinal_same

同类别(braidpath)

braid_from_trajectories · braid_reduce · braid_artin_images · dynnikov_coordinates · dynnikov_act · homotopy_class_compare · pairwise_winding · homotopy_shortest_paths

*Provenance: braidpath.py — DRIVE 算子登记表。本条目由 tools/opdocs.py md 自动生成(请勿手工编辑)。*

© 2026 Kazufumi Furuse — Fullseye operator documentation. Licensed under Apache-2.0.