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
10.
HexPolyZ: integer dense polynomials
10.1.
Introduction
10.2.
Integer polynomial type
10.3.
Content and primitive part
10.4.
Congruence for Hensel lifting
10.5.
Content multiplicativity
10.6.
The Mignotte coefficient bound
10.7.
Key correctness theorems
10.8.
Cross-references
←
9.9. Cross-references
10.1. Introduction
→
10. HexPolyZ: integer dense polynomials
🔗
10.1.
Introduction
10.2.
Integer polynomial type
10.3.
Content and primitive part
10.4.
Congruence for Hensel lifting
10.5.
Content multiplicativity
10.6.
The Mignotte coefficient bound
10.7.
Key correctness theorems
10.8.
Cross-references
←
9.9. Cross-references
10.1. Introduction
→