JAR: JAM Axiomatic Reference

13.1. Galois Field GF(2^16)🔗

🔗def
Jar.Erasure.GF16 : Type
Jar.Erasure.GF16 : Type

Element of GF(2^16). Represented as a 16-bit integer. Field polynomial: x^16 + x^5 + x^3 + x^2 + 1.

GF(2^16) arithmetic uses log/exp tables built from the Cantor basis (see CANTOR_BASIS, buildExpLog, buildSkew in Jar.Erasure).