35. 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.
- 35.1. HexRealAlgebraic: exact real values and complex coordinates
- 35.2. HexTruncatedSeries: fixed-precision series
- 35.3. HexReflect: shared algebraic reflection
- 35.4. HexRealFormula: a shared language for real arithmetic
- 35.5. HexPolyFast: fast dense polynomials
- 35.6. HexRationalFn: exact rational functions
- 35.7. HexLatticeEnum: exact lattice search
- 35.8. HexIntFactor: certified integer factorization
- 35.9. HexModular: CRT and rational reconstruction
- 35.10. HexCharPoly: characteristic polynomials
- 35.11. HexPolyZGcd: checked integer-polynomial gcds
- 35.12. HexMvGcd: checked sparse multivariate gcds
- 35.13. HexMvHensel: checked multivariate lifting
- 35.14. HexMvFactor: checked multivariate factorization
- 35.15. HexPolySmith: polynomial Smith normal form
- 35.16. HexSmith: integer Smith normal form
- 35.17. HexMinPoly: matrix minimal polynomials