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.