module Row:sig..end
Operations on rows.
val is_zero : R.t array array -> int -> boolA a row null?
val replace : Matrix.Make.t -> int -> R.t array -> Matrix.Make.tReplace a row by another one.
val exchange : Matrix.Make.t -> int -> int -> Matrix.Make.tExchange two rows.
val mult : Matrix.Make.t -> R.t -> int -> Matrix.Make.tMultiply a row by a coefficent.
val madd : Matrix.Make.t -> int -> R.t -> int -> Matrix.Make.tAdd to a row q times another row.