def gauss_mat_at

bend-ml-tensor-gpu@0.1.5.1 · main.bend:782

import Base
import bend-ml-tensor-array@0.1.19.0/main.bend as TA

782def gauss_mat_at(+s: U32, +i0: U32, +r: Nat, +m: Nat) -> TA.Mat<r, m>:
783  TA.Mat{fill_gauss_at(s, i0, Nat.mul(r, m), TA.cap_depth(Nat.mul(r, m)))}