Module Tezos_benchmark.MathsSource

Vectors with elements indexed by ints

Read-only matrices with elements indexed by pairs (column, row)

Write-only matrices with elements indexed by pairs (column, row)

Number of elements of a vector

Number of columns of a matrix

Number of rows of a matrix

Create 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.

Create 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.

mm_ out lhs rhs computes the matrix product lhs x rhs and stores it in out

Create a float array from a vector

Create a vector from a float array

Construct 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

An empty matrix.

l2 norm of a vector

Mean square error

Average

Standard deviation

An encoding for vectors.

Pretty printing vectors.