4.6. Cross-references🔗

HexBareiss is the fast route to an exact integer determinant.

• It depends on HexMatrix for the matrix type and on HexDeterminant for the Leibniz det it uses as its specification.

• HexBareissMathlib proves the Bareiss determinant equals the Leibniz determinant (and hence Mathlib's), via the Desnanot-Jacobi invariant. HexBareiss itself is Mathlib-free.