def Mat.matvec

bend-ml-tensor@0.1.2.0 · main.bend:296

import Base

296# matrix · vector: (n x k) · k = n
297def Mat.matvec(-n: Nat, +k: Nat, a: Mat<n, k>, v: Vec<k>) -> Vec<n>:
298  match a v:
299    case Mat{x} Vec{ys}:
300      Vec{heads(matmul.rows(x, ys <> Nil{}))}