linalg/sized

(LaVecN [n] :int))

(lavecn-zeros [n])

a fresh length-k vector of zeros. The static length is

(lavecn-free [n])

free a vector and its backing buffer.

(lavecn-len [n])

runtime element count (equals the static `n`).

(lavecn-get [n])

bounds-checked element read at index i.

(lavecn-set! [n])

bounds-checked element write at index i.

(lavecn-dot [n])

dot product. Both operands share `n`, so a length mismatch

(lavecn-add [n])

element-wise sum (shared `n`); returns a fresh vector.

(lavecn-sub [n])

element-wise difference (shared `n`); returns a fresh vector.

(lavecn-scale [n])

multiply every element by s; returns a fresh vector.

(lavecn-norm [n])

Euclidean (L2) norm.

(LaMatN [m n] :int))

(lamat-zeros [m n])

a fresh r x c matrix of zeros; the static shape is pinned

(lamat-free [m n])

free a matrix and its backing buffer.

(lamat-rows [m n])

runtime shape (equal to the static m / n).

(lamat-cols [m n])

(lamat-get [m n])

bounds-checked element access at (i, j).

(lamat-set! [m n])

(lamat-add [m n])

element-wise; both operands share shape (m, n).

(lamat-sub [m n])

(lamat-scale [m n])

multiply every element by s.

(lamat-mul [m k n])

matrix product: (m x k) * (k x n) -> (m x n). The inner

(lamat-transpose [m n])

(m x n) -> (n x m).