sig
  val is_zero : R.t array array -> int -> bool
  val replace : Matrix.Make.t -> int -> R.t array -> Matrix.Make.t
  val exchange : Matrix.Make.t -> int -> int -> Matrix.Make.t
  val mult : Matrix.Make.t -> R.t -> int -> Matrix.Make.t
  val madd : Matrix.Make.t -> int -> R.t -> int -> Matrix.Make.t
end