def Mat.add_row

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

import Base

284# adds a bias (a vector of m numbers) to each row of an n x m matrix
285def Mat.add_row(-n: Nat, -m: Nat, a: Mat<n, m>, b: Vec<m>) -> Mat<n, m>:
286  match a b:
287    case Mat{x} Vec{v}:
288      Mat{rows.add_row(x, v)}