Module `Algebra.Matrix`

Dense matrix algebra parameterised 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.

Used by WFA.Make to represent the automaton matrices and by Learner.Angluin for the observation table.

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