def Mat.matvec

bend-tensors@0.0.0.2 · bend_tensors.bend:1493

import Base

1493# m * v: Mat<rows, cols> times Vec<cols> is Vec<rows>
1494def Mat.matvec(+rows: Nat, +cols: Nat, m: Mat<rows, cols>, v: Vec<cols>) -> Vec<rows>:
1495  MatS{t} = m
1496  VecS{x} = v
1497  VecS{VecT.mask(VecT.depth(rows), MatT.matvec(VecT.depth(rows), VecT.depth(cols), t, x), 0n, rows)}