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.