15.8. Cross-references🔗

Downstream of HexMatrix:

• HexDeterminant: the Leibniz determinant, cofactors, and the adjugate.

• HexRowReduce: Gauss-Jordan reduction, the row span, and the nullspace.

• HexBareiss: the fraction-free integer determinant.

Entrywise coefficient conversion is provided by Hex.Matrix.mapEntries; its indexing theorem is Hex.Matrix.getElem_mapEntries.

The companion module HexMatrixMathlib.Hadamard provides Matrix.norm_det_le_prod_norm_column, the Euclidean column-norm Hadamard inequality used by integer determinant bounds.