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
11.
HexMatrix: dense matrices and arithmetic
11.1.
Introduction
11.2.
The dense matrix type
11.3.
Arithmetic worked example
11.4.
Entry, row, and column lemmas
11.5.
Elementary operations
11.6.
Worked example
11.7.
The Mathlib correspondence
11.8.
Cross-references
←
10.7. Cross-references
11.1. Introduction
→
11. HexMatrix: dense matrices and arithmetic
🔗
11.1.
Introduction
11.2.
The dense matrix type
11.3.
Arithmetic worked example
11.4.
Entry, row, and column lemmas
11.5.
Elementary operations
11.6.
Worked example
11.7.
The Mathlib correspondence
11.8.
Cross-references
←
10.7. Cross-references
11.1. Introduction
→