~/jendhub

def cbrows

bend-ml-tensor-fork@0.1.6.0 · main.bend:169

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

169# columns j0 .. j0+cnt-1 of C, rows i.. (n more)
170def cbrows(+ac: Bool, n: Nat, +cnt: Nat, +tk: Nat, +tku: U32, +rot: Nat, +i: U32, +j0: U32, +mu: U32, g: TA.TG) -> TA.TG:
171  match n:
172    case 0n:
173      g
174    case 1n+p:
175      cbrows(ac, p, cnt, tk, tku, rot, (i + 1 : U32), j0, mu, TA.t8_cols(ac, cnt, tk, tku, rot, i, j0, ((i * mu : U32) + j0 : U32), g))

Uses (7)

Used by (1)