type t = Vectors.t array
val dim : t -> int * int
dim m the dimensions (row, columns) of the matrix
equal d x y two matrices are equal if they have the same dimensions and all pairwise elements are not
Util.significantly_different_from ?d from each other.
val identity : int -> t
identity n create the identity matrix of rank