braid_reduce — DRIVE braidpath op

• Data kinds: signal × scalar → signal

• Call: import fullseye as fs; fs.ledger.braid_reduce(word, n_strands) (implementation को सीधे call करना हो तो import braidpath; braidpath.braid_reduce(word, n_strands), registry से लेना हो तो opsdrive.get("braid_reduce"))

• GPU: नहीं (केवल CPU reference implementation)

उपयोग

Braid word को Dehornoy handle reduction से reduce करता है। खाली word लौटे ⇔ trivial braid (वही class)।

Handle = σⱼ^e u σⱼ^(−e) (u में σⱼ^(±1), σⱼ₋₁^(±1) नहीं होते)। u के अंदर के σⱼ₊₁^d को σⱼ₊₁^(−e) σⱼ^d σⱼ₊₁^e से बदलकर, बाहर के 2 letters हटा दिए जाते हैं (केवल relations का उपयोग होता है, इसलिए braid नहीं बदलता)। बाईं ओर से सबसे पहले बंद होने वाला handle चुना जाता है —— उसके अंदर कोई दूसरा handle नहीं होता, इसलिए वह Dehornoy के अर्थ में permitted है, और प्रक्रिया finite steps में रुकती है। लौटाए गए word में कोई handle नहीं होता; यदि वह खाली नहीं है, तो उसमें आने वाले सबसे छोटे index के letters का sign एक जैसा होता है (σ-positive / σ-negative)।

खाली input (word में 0 elements) पर खाली word लौटता है (कारण: खाली word identity है = ऐसा trivial braid जिसमें कोई strand cross नहीं करता, और यही सही उत्तर है)।

Returns: int का 1-D array (reduced word)।

Raises: ValueError (index range से बाहर या 0), RuntimeError (word MAX_WORD से अधिक बढ़ गया)।

संदर्भ (sample data, साहित्य)

• Sample data catalog (DL URL / license) — 2-D के लिए skimage.data (BSD/public) + synthetic, 3-D के लिए real data sources (Stanford/PDS आदि) के DL URL।

• Operators का स्रोत और संदर्भ — इस op family के मूल research/methods के स्रोत।

• Algorithm का मानक स्रोत (लेखक, वर्ष) और उपयोग ऊपर की family usage guide में दिए गए हैं।

चलाए जा सकने वाले उदाहरण (verified samples जो सच में यह op call करते हैं)

• poc_braid_homotopy_classes — py -3.11 examples/poc_braid_homotopy_classes.py

वे अगले ops जिनसे type जुड़ता है (signal को input के रूप में लेते हैं)

flight_vacuum · magnus_lift_coefficient · drag_coefficient_sphere · restitution_from_apexes · restitution_from_intervals · fit_parabola · flight_fit · fit_aero

इसी category के (braidpath)

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


*Provenance: braidpath.py — DRIVE operator registry. यह per-op note tools/opdocs.py md से अपने-आप generate होता है (हाथ से edit न करें)।*

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