compute.parity · function ·

OracleMatMulInts

Oracle mat mul ints.

computecompute.paritycpufunctionparitysource-exampleyeho

Compare numerical results with explicit tolerances and CPU-reference evidence.

external OracleMatMulInts(list of int left, int rows, int inner, list of int right, int columns) returns list of int

Status: source-declared

Parameters

list of int left
Supply left as list of int.
int rows
Supply rows as int.
int inner
Supply inner as int.
list of int right
Supply right as list of int.
int columns
Supply columns as int.

Use OracleMatMulInts

A complete small caller. Values are illustrative; check the returned result and package requirements before connecting live resources.

cpu · source-example · type checked

using compute.parity

// Compare numerical results with explicit tolerances and CPU-reference evidence.
list of int left = []
int rows = 1
int inner = 1
list of int right = []
int columns = 1
list of int result = OracleMatMulInts(left, rows, inner, right, columns)
Console.Log(Text.From(result.count))
project.mech
manifestVersion = "2"
package = "api.example.compute_parity__oraclematmulints"
version = "0.1.0"
languageEdition = "yeho-core-2026.1"

[app]
kind = "headless"

[[dependencies]]
package = "compute.parity"
version = "0.1.0"
path = "../../../yeho/packages/compute/parity"

[[dependencies]]
package = "compute.profiling"
version = "0.1.0"
path = "../../../yeho/packages/compute/profiling"

[[dependencies]]
package = "compute.simd"
version = "0.1.0"
path = "../../../yeho/packages/compute/simd"

[[dependencies]]
package = "compute.tensor"
version = "0.1.0"
path = "../../../yeho/packages/compute/tensor"

[[dependencies]]
package = "console"
version = "0.1.0"
path = "../../../yeho/packages/console"

[[dependencies]]
package = "diagnostics"
version = "0.1.0"
path = "../../../yeho/packages/diagnostics"
Notes and source

Package presence and a declaration do not establish support on every host. Host services need their platform and lifecycle setup.

yeho/packages/compute/parity/numerics_contract.yh:491