matmul_reproducible — DRIVE ozaki op

• Data kinds: matrix × matrix → matrix

• Call: import fullseye as fs; fs.ledger.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16) (implementation को सीधे call करना हो तो import ozakimm; ozakimm.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16), registry से लेना हो तो opsdrive.get("matmul_reproducible"))

उपयोग

bit स्तर पर reproducible, FP64 सटीकता वाला A @ B (गारंटी न दी जा सके तो ValueError = fail-closed)।

> नीचे का विस्तृत विवरण मूल text में है — सारांश और headings का अनुवाद हो चुका है।

matmul_ozaki の Ozaki-I の自動選択に on_insufficient="raise" を固定したもの。誤差は要素ごとに tol · (|A||B|)_ij + 最後の組み立ての丸め(数 ulp)以下。内側の添字の順(点の順)・BLAS のスレッド数に依らず同じビットを返す。点群の 3×N @ N×3 や 6×N @ N×6 の縮約向け(出力が大きい積では DGEMM の 15〜83 倍遅い)。

संदर्भ (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_reproducible_icp — py -3.11 examples/poc_reproducible_icp.py

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

world_camera · lidar_scan · relative_motion · foe_from_motion · flow_from_depth_motion · ttc_truth · world_materials · mesh_signed_volume

इसी category के (ozaki)

matmul_ozaki · ozaki_error_bound · cross_covariance_reproducible · kabsch_reproducible · fp64_emulation_probe


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

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