hex
hex
Table of Contents
1.
HexMatrix: dense matrices and arithmetic
2.
HexRowReduce: Gauss-Jordan reduction, span, and nullspace
3.
HexDeterminant: the Leibniz determinant and cofactor theory
4.
HexBareiss: the fraction-free integer determinant
5.
HexGramSchmidt: Gram-Schmidt orthogonalization
6.
HexLLL: lattice basis reduction
7.
HexArith: low-level arithmetic foundations
8.
HexModArith: machine-word modular arithmetic
9.
HexPoly: normalized dense polynomials
10.
HexPolyZ: integer dense polynomials
11.
HexPolyFp: prime-field dense polynomials
12.
HexGF2: packed GF(2) polynomials and GF(2ⁿ) fields
13.
HexHensel: executable Hensel lifting
14.
HexGFqRing: executable Fₚ quotient ring
15.
HexGFqField: executable GF(pⁿ)
16.
HexConway: Tier 1 Conway-polynomial lookup
17.
HexGFq: canonical finite-field constructors
9.
HexPoly: normalized dense polynomials
9.1.
Introduction
9.2.
Dense polynomial type
9.3.
Constructors and normalization
9.4.
Structural queries
9.5.
Principal operations
9.6.
Euclidean operations
9.7.
Key correctness theorems
9.8.
The Mathlib correspondence
9.9.
Cross-references
←
8.8. Cross-references
9.1. Introduction
→
9. HexPoly: normalized dense polynomials
🔗
9.1.
Introduction
9.2.
Dense polynomial type
9.3.
Constructors and normalization
9.4.
Structural queries
9.5.
Principal operations
9.6.
Euclidean operations
9.7.
Key correctness theorems
9.8.
The Mathlib correspondence
9.9.
Cross-references
←
8.8. Cross-references
9.1. Introduction
→