trop/specs/vectors.md

π 0.0%

test vectors

known-answer test values for tropical operations. placeholder — to be populated with concrete F_p test cases.

scope

element operations: tmin, tmax, tropical mul, sentinel handling

matrix operations: matmul, power, Kleene star

eigenvalue: small cycle graphs with known critical cycles

determinant: small matrices with known optimal assignments

encoding: round-trip F_p ↔ tropical, sentinel preservation

edge cases: +∞ inputs, zero matrix, identity matrix, overflow saturation

Dimensions

vectors
hemera/vectors
vectors
genies/specs/vectors
test vectors known-answer values for genies operations. placeholder — vectors will be generated from the reference implementation. planned vectors | test | input | output | |------|-------|--------| | fq_mul | two F_q elements | product mod q | | fq_inv | F_q element | multiplicative inverse | |…
kuro/specs/vectors
test vectors known-answer tests for F₂ tower field arithmetic. any conforming implementation must produce identical results. F₂ (level 0) | a | b | add | mul | |---|---|-----|-----| | 0 | 0 | 0 | 0 | | 0 | 1 | 1 | 0 | | 1 | 0 | 1 | 0 | | 1 | 1 | 0 | 1 | complete truth table. add = XOR, mul = AND.…
nebu/specs/vectors
test vectors known-answer tests for Goldilocks field arithmetic. generated from the hemera reference implementation. any conforming implementation must produce identical results. canonical reduction | input | canonical | |---|---| | `0x0000000000000000` | `0x0000000000000000` | |…
jali/specs/vectors
vectors — test vectors for ring operations known-answer tests for R_q polynomial ring arithmetic. any conforming implementation must produce identical results. placeholder: test vectors will be generated from the reference implementation once rs/src/lib.rs is complete. the following structure…

Local Graph