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
Compute a list rational eigenvalues of a matrix, along with their
algebraic multiplicities.