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
14.
HexGFqRing: executable Fₚ quotient ring
14.1.
Introduction
14.2.
Quotient types
14.3.
Principal operations
14.4.
Key correctness theorems
14.5.
Cross-references
←
13.7. Cross-references
14.1. Introduction
→
14. HexGFqRing: executable Fₚ quotient ring
🔗
14.1.
Introduction
14.2.
Quotient types
14.3.
Principal operations
14.4.
Key correctness theorems
14.5.
Cross-references
←
13.7. Cross-references
14.1. Introduction
→