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
6.
HexPolyZ: integer dense polynomials
6.1.
Introduction
6.2.
Integer polynomial type
6.3.
Content and primitive part
6.4.
Congruence for Hensel lifting
6.5.
Content multiplicativity
6.6.
The Mignotte coefficient bound
6.7.
Key correctness theorems
6.8.
Cross-references
←
5.6. Cross-references
6.1. Introduction
→
6. HexPolyZ: integer dense polynomials
🔗
6.1.
Introduction
6.2.
Integer polynomial type
6.3.
Content and primitive part
6.4.
Congruence for Hensel lifting
6.5.
Content multiplicativity
6.6.
The Mignotte coefficient bound
6.7.
Key correctness theorems
6.8.
Cross-references
←
5.6. Cross-references
6.1. Introduction
→