Module `Algebra.Matrix`

Dense matrix algebra parameterized over a semiring.

Matrices are stored row-major in a flat s array. All arithmetic uses the semiring operations (⊕ and ⊗) rather than field operations, so this module works over any Semiring.T, including Boolean, tropical, and bottleneck semirings.

module Log : sig ... end

module type T = sig ... end

Module type for a concrete matrix algebra over semiring element type s.

module Make (S : Semiring.T) : T with type s = S.t