residue_integer_crt — RESIDUE `theorem` op

• Datenarten: signal × signal → table

• Aufruf: import fullseye as fs; fs.ledger.residue_integer_crt(residues, moduli) -> 'dict' (die Implementierung direkt: import residue; residue.residue_integer_crt(residues, moduli) -> 'dict'; aus dem Register: opsresidue.get("residue_integer_crt"))

Verwendung

Exakter ganzzahliger chinesischer Restsatz (Garners Mixed-Radix-Algorithmus) -> dict.

> Die ausführliche Beschreibung unten ist der Originaltext — Zusammenfassung und Überschriften sind übersetzt.

residues and moduli are equal-length integer sequences; the moduli must be pairwise coprime and >= 2. Returns {"value": int, "modulus": int, "mixed_radix": [digits]} where value is the unique solution in [0, prod(moduli)). Arithmetic is Python's arbitrary-precision int — there is no rounding anywhere, which is why this op is the oracle for residue_crt.

The mixed-radix digits d_k satisfy value = d_0 + d_1 m_0 + d_2 m_0 m_1 + ...:

the *positional* (coarse-to-fine) reading of the same residues, i.e. the bridge between the residue view and the place-value view.

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_residue_crt — py -3.11 examples/poc_residue_crt.py

Typkompatible Folge-Operatoren (nehmen `table` als Eingabe)

—

Gleiche Kategorie (`theorem`)

—

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

residue_integer_crt — RESIDUE theorem op