Module Rand_tropical_lia_1000.Matrix

type s = S.t
type t = {
  1. dim : Base.int * Base.int;
  2. mat : s Base.array;
}
val zero : Base.int -> Base.int -> t
val one : Base.int -> t
val of_list : Base.int -> Base.int -> s Base.list -> t
val of_rows : t Base.list -> t
val of_cols : t Base.list -> t
val get : t -> Base.int -> Base.int -> s
val set : t -> Base.int -> Base.int -> s -> t
val add : t -> t -> t
val mul : t -> t -> t
val app_col : t -> t -> t
val app_row : t -> t -> t
val rows : t -> t Base.list
val cols : t -> t Base.list
val count : f:(s -> Base.bool) -> t -> Base.int
val dim : t -> Base.int * Base.int
val solve : t Base.list -> t -> t Base.option
val compare : t -> t -> Base.int
val equal : t -> t -> Base.bool
val hash : t -> Base.int
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val to_string : t -> Base.string
val sexp_of_t : t -> Base.Sexp.t
val entries : t -> s Base.list