matmul_reproducible — DRIVE ozaki op

• Datenarten: matrix × matrix → matrix

• Aufruf: import fullseye as fs; fs.ledger.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16) (die Implementierung direkt: import ozakimm; ozakimm.matmul_reproducible(A, B, tol: 'float' = 1.1102230246251565e-16); aus dem Register: opsdrive.get("matmul_reproducible"))

Verwendung

Bitgenau reproduzierbares A @ B mit FP64-Genauigkeit (ValueError, wenn dies nicht garantiert werden kann = fail-closed).

Die automatische Ozaki-I-Auswahl von matmul_ozaki mit fest eingestelltem on_insufficient="raise". Der Fehler pro Element ist höchstens tol · (|A||B|)_ij + die Rundung der abschließenden Zusammensetzung (wenige ulp). Liefert unabhängig von der Reihenfolge des inneren Index (Reihenfolge der Punkte) und der Anzahl der BLAS-Threads dieselben Bits. Gedacht für Kontraktionen von Punktwolken wie 3×N @ N×3 oder 6×N @ N×6 (bei Produkten mit großen Ausgaben 15–83-mal langsamer als DGEMM).

Referenzen (Beispieldaten, Literatur)

• Katalog der Beispieldaten (Download-URLs / Lizenzen) — 2-D nutzt skimage.data (BSD/Public Domain) plus synthetische Bilder, 3-D nennt Download-URLs echter Datenquellen (Stanford, PDS, …).

• Herkunft und Literatur der Operatoren — die Quellen der Forschung/Verfahren, auf denen diese Operatorfamilie beruht.

• Der kanonische Algorithmus (Autor, Jahr) und seine Anwendungen stehen im Familienleitfaden oben.

Ausführbare Beispiele (verifizierte Samples, die diesen Operator wirklich aufrufen)

• poc_reproducible_icp — py -3.11 examples/poc_reproducible_icp.py

Typkompatible Folge-Operatoren (nehmen matrix als Eingabe)

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

Gleiche Kategorie (ozaki)

matmul_ozaki · ozaki_error_bound · cross_covariance_reproducible · kabsch_reproducible · fp64_emulation_probe


*Provenance: ozakimm.py — DRIVE Operator-Registry. Diese Notiz wird von tools/opdocs.py md erzeugt (nicht von Hand bearbeiten).*

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