Module Linear.QQMatrix

module QQMatrix: sig .. end

type t 

type dim = int 

type scalar = QQ.t 

val equal : t -> t -> bool

val add : t -> t -> t

val scalar_mul : scalar -> t -> t

val mul : t -> t -> t

val zero : t

val identity : dim list -> t

val row : dim -> t -> Linear.QQVector.t

val rowsi : t -> (dim * Linear.QQVector.t) BatEnum.t

val add_row : dim ->
       Linear.QQVector.t -> t -> t

val add_column : dim ->
       Linear.QQVector.t -> t -> t

val add_entry : dim ->
       dim -> QQ.t -> t -> t

val pivot : dim ->
       t -> Linear.QQVector.t * t

val transpose : t -> t

val entry : dim ->
       dim -> t -> scalar

val entries : t ->
       (dim * dim * scalar)
       BatEnum.t

val row_set : t -> SrkUtil.Int.Set.t

val column_set : t -> SrkUtil.Int.Set.t

val nb_rows : t -> int

val nb_columns : t -> int

val pp : Format.formatter -> t -> unit

val show : t -> string

val rational_eigenvalues : t -> (QQ.t * int) list