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
13.
HexHensel: executable Hensel lifting
13.1.
Introduction
13.2.
Coefficientwise reduction
13.3.
Single-step corrections
13.4.
Iterative and multifactor lifts
13.5.
Key correctness theorems
13.6.
The Mathlib correspondence
13.7.
Cross-references
←
12.8. Cross-references
13.1. Introduction
→
13. HexHensel: executable Hensel lifting
🔗
13.1.
Introduction
13.2.
Coefficientwise reduction
13.3.
Single-step corrections
13.4.
Iterative and multifactor lifts
13.5.
Key correctness theorems
13.6.
The Mathlib correspondence
13.7.
Cross-references
←
12.8. Cross-references
13.1. Introduction
→