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
6.
HexLLL: lattice basis reduction
6.1.
Introduction
6.2.
Lattices and reducedness
6.3.
Verified integer checkers
6.4.
The reduction entry points
6.5.
Certified external dispatch
6.6.
Performance comparison
6.7.
Worked example
6.8.
Cross-references
←
5.5. Cross-references
6.1. Introduction
→
6. HexLLL: lattice basis reduction
🔗
6.1.
Introduction
6.2.
Lattices and reducedness
6.3.
Verified integer checkers
6.4.
The reduction entry points
6.5.
Certified external dispatch
6.6.
Performance comparison
6.7.
Worked example
6.8.
Cross-references
←
5.5. Cross-references
6.1. Introduction
→