package octez-libs
This refers to the mathematical generalization of vector space called "module", where the field of scalars is replaced by a ring
type matrix = t array array
val zeros : int -> int -> matrix
zeros r c
is a matrix with r
rows and c
columns filled with zeros
val identity : int -> matrix
identity n
is the identity matrix of dimension n
row_add ~coeff i j m
adds to the i-th row, the j-th row times coeff in m
val row_swap : int -> int -> matrix -> unit
row_swap i j m
swaps the i-th and j-th rows of m
filter_cols f m
removes the columns of m
whose index does not satisfy f
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>