hex

9.9. Cross-references🔗

HexPoly depends on no other hex library. Downstream of it:

  • HexPolyZ specializes the coefficient type to Int and adds the integer-specific theory (content, primitive parts), and HexPolyFp specializes to the prime fields ZMod64 p, supplying the concrete DivModLaws and GcdLaws instances that turn the Euclidean laws above into usable facts. The finite-field and factorization libraries, including HexGFqRing and HexBerlekamp, reach this representation transitively through HexPolyFp.