hex
hex
Table of Contents
1.
HexArith: low-level arithmetic foundations
2.
HexPoly: normalized dense polynomials
3.
HexMvPoly: executable sparse multivariate polynomials
4.
HexModArith: machine-word modular arithmetic
5.
HexPolyFp: prime-field dense polynomials
6.
HexPolyZ: integer dense polynomials
7.
HexGFqRing: executable Fₚ quotient ring
8.
HexHensel: executable Hensel lifting
9.
HexRoots: certified complex-root isolation
10.
HexRealRoots: certified real-root isolation
11.
HexMatrix: dense matrices and arithmetic
12.
HexRowReduce: Gauss-Jordan reduction, span, and nullspace
13.
HexBerlekamp: factorization over finite fields
14.
HexDeterminant: the Leibniz determinant and cofactor theory
15.
HexBareiss: the fraction-free integer determinant
16.
HexGramSchmidt: Gram-Schmidt orthogonalization
17.
HexLLL: lattice basis reduction
18.
HexBerlekampZassenhaus: factorization over the integers
19.
factor_poly
and
irreducibility
: certified factoring
20.
Tutorials
21.
Draft sections for unreleased libraries
2.
HexPoly: normalized dense polynomials
2.1.
Introduction
2.2.
Dense polynomial type
2.3.
Constructors and normalization
2.4.
Structural queries
2.5.
Principal operations
2.6.
Euclidean operations
2.7.
Key correctness theorems
2.8.
The Mathlib correspondence
2.9.
Cross-references
←
1.8. Cross-references
2.1. Introduction
→
2. HexPoly: normalized dense polynomials
🔗
2.1.
Introduction
2.2.
Dense polynomial type
2.3.
Constructors and normalization
2.4.
Structural queries
2.5.
Principal operations
2.6.
Euclidean operations
2.7.
Key correctness theorems
2.8.
The Mathlib correspondence
2.9.
Cross-references
←
1.8. Cross-references
2.1. Introduction
→