Module Matrix

module Matrix: sig .. end

Matrices and basic operations.

module type S = sig .. end

module Make: functor (ET : Scalar.S) -> S  with module Coeff = ET

module Q: S  with module Coeff = Scalar.Q

Matrix with Q.t coefficients from the library Zarith.

module Float: S  with module Coeff = Scalar.Float

Matrix with float coefficients