def Mat.add

bend-ml-tensor-array@0.1.19.0 · main.bend:1364

import Base

1364def Mat.add(+r: Nat, +c: Nat, a: Mat<r, c>, b: Mat<r, c>) -> MPair<r, c>:
1365  match a b:
1366    case Mat{x} Mat{y}:
1367      mpair_fin(r, c, sgd_l(Nat.mul(r, c), 0, (0.0 - 1.0 : F32), Array.get(F32, x, 0), Array.get(F32, y, 0)))