hex

21. Draft sections for unreleased libraries🔗

These libraries are still incubating in the hex-dev monorepo and have not been split out for release yet, so their APIs may still change. They are grouped here to keep the reference chapters above focused on the released libraries.

  1. 21.1. HexResultant: subresultants and discriminants
  2. 21.2. HexGF2: packed GF(2) polynomials and GF(2ⁿ) fields
  3. 21.3. HexGFqField: executable GF(pⁿ)
  4. 21.4. HexConway: Tier 1 Conway-polynomial lookup
  5. 21.5. HexGFq: canonical finite-field constructors
  6. 21.6. HexRCF: a decision procedure for univariate real arithmetic
  7. 21.7. HexNumberField: exact algebraic numbers
  8. 21.8. HexNumberFieldTower: successive algebraic extensions