module Vector = Linalg.Vec.Floatmodule Matrix = Linalg.Mat.Floattype vector = int Vector.tVectors with elements indexed by ints
type matrix = (int * int) Matrix.tRead-only matrices with elements indexed by pairs (column, row)
type out_matrix = (int * int) Matrix.outWrite-only matrices with elements indexed by pairs (column, row)
val vec_dim : vector -> intNumber of elements of a vector
val col_dim : matrix -> intNumber of columns of a matrix
val row_dim : matrix -> intNumber of rows of a matrix
val matrix_of_array_array : float array array -> matrixCreate a read-only matrix overlay over an array of arrays. Note how we switch from row major to column major in order to comply to Linalg's defaults.
val out_matrix_of_array_array : float array array -> out_matrixCreate a write-only overlay over an array of arrays. Note how we switch from row major to column major in order to comply to Linalg's defaults.
val mm_ : out_matrix -> matrix -> matrix -> unitmm_ out lhs rhs computes the matrix product lhs x rhs and stores it in out
val vector_to_array : vector -> float arrayCreate a float array from a vector
val vector_of_array : float array -> vectorCreate a vector from a float array
val vector_to_seq : vector -> float Tezos_base.TzPervasives.Seq.tConstruct a sequence out of the elements of a vector
Map a scalar function on the rows of a matrix, yielding a column vector
Map a scalar function on the rows of a matrix, yielding a column vector
Map a scalar function on the columns of a matrix, yielding a row vector
val empty_matrix : matrixAn empty matrix.
val l2_norm : vector -> floatl2 norm of a vector
val mse : vector -> floatMean square error
val average : vector -> floatAverage
val std : vector -> floatStandard deviation
val vector_encoding : vector Tezos_base.TzPervasives.Data_encoding.tAn encoding for vectors.
val pp_vec : Stdlib.Format.formatter -> vector -> unitPretty printing vectors.