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
1.
HexMatrix: dense matrices and arithmetic
1.1.
Introduction
1.2.
The dense matrix type
1.3.
Elementary operations
1.4.
Worked example
1.5.
The Mathlib correspondence
1.6.
Cross-references
←
hex
1.1. Introduction
→
1. HexMatrix: dense matrices and arithmetic
🔗
1.1.
Introduction
1.2.
The dense matrix type
1.3.
Elementary operations
1.4.
Worked example
1.5.
The Mathlib correspondence
1.6.
Cross-references
←
hex
1.1. Introduction
→