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
14.
HexDeterminant: the Leibniz determinant and cofactor theory
14.1.
Introduction
14.2.
The Leibniz determinant
14.3.
Cofactor expansion
14.4.
The adjugate
14.5.
Cauchy-Binet and Plücker identities
14.6.
Worked example
14.7.
The Mathlib correspondence
14.8.
Cross-references
←
13.5. Verification
14.1. Introduction
→
14. HexDeterminant: the Leibniz determinant and cofactor theory
🔗
14.1.
Introduction
14.2.
The Leibniz determinant
14.3.
Cofactor expansion
14.4.
The adjugate
14.5.
Cauchy-Binet and Plücker identities
14.6.
Worked example
14.7.
The Mathlib correspondence
14.8.
Cross-references
←
13.5. Verification
14.1. Introduction
→