Module Matrix.Make.Row

module Row: sig .. end

Operations on rows.


val is_zero : R.t array array -> int -> bool

A a row null?

val replace : Matrix.Make.t -> int -> R.t array -> Matrix.Make.t

Replace a row by another one.

val exchange : Matrix.Make.t -> int -> int -> Matrix.Make.t

Exchange two rows.

val mult : Matrix.Make.t -> R.t -> int -> Matrix.Make.t

Multiply a row by a coefficent.

val madd : Matrix.Make.t -> int -> R.t -> int -> Matrix.Make.t

Add to a row q times another row.