braidpath op• 資料種類:signal × scalar → table
• 呼叫: import fullseye as fs; fs.ledger.braid_artin_images(word, n_strands)(要直接呼叫實作,import braidpath; braidpath.braid_artin_images(word, n_strands);從台帳取用則 opsdrive.get("braid_artin_images"))
• GPU:無(僅 CPU 參考實作)
辮的 Artin 表示:自由群 F_n 的生成元 x₁..xₙ 的像(自由約化後的字)。
σᵢ:xᵢ ↦ xᵢ xᵢ₊₁ xᵢ⁻¹、xᵢ₊₁ ↦ xᵢ,其餘不動。字 w = σ_{i1} σ_{i2} … 的像透過從左依次代入得到。此表示是忠實的(Artin 1925),因此 像全部一致 ⇔ 同一辮。這是只用自由約化的嚴格判定,是與 Dynnikov 座標獨立地確認「相等」的第 2 個實作。像的長度相對於字長可能呈指數成長,因此在 MAX_WORD 個字母處停止(RuntimeError)。★上限不作為參數:不改變答案的截斷會成為「無效的旋鈕」(2026-10-23)。空輸入(word 為 0 個元素)回傳恆等映射的像(理由:空字是單位元,像就是各 xₖ 本身)。
Returns: dict images(長度為 n 的 list,各元素為帶符號整數的 list,±k = x_k^(±1))、lengths、identity (是否全部為 xₖ 本身)。
• 範例資料目錄(下載 URL / 授權) —— 2-D 用 skimage.data(BSD/公有領域)加合成圖,3-D 給出真實資料源(Stanford/PDS 等)的下載 URL。
• 運算子來歷與參考文獻 —— 該運算子族所依據的研究/方法出處。
• 演算法的正典(作者、年份)與用途見上面的族使用指南。
• (尚無)
table 作為輸入)course_layout · course_occupancy · course_contains · world_build · world_camera · world_move · lidar_scan · rss_longitudinal_same
braidpath)braid_from_trajectories · braid_reduce · dynnikov_coordinates · dynnikov_act · braid_equivalent · 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.