~/jendhub

def rmsf_rows

bendtorch@1.3.0.0 · main.bend:1601

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

1601# rows i.. (left + 1 of them, d wide)
1602def rmsf_rows(left: Nat, +i: U32, +d: Nat, +df: F32, +eps: F32, s: R3) -> R3:
1603  match left:
1604    case 0n:
1605      rmsf_row(d, (i * U32.from_nat(d) : U32), df, eps, s)
1606    case 1n+p:
1607      rmsf_rows(p, (i + 1 : U32), d, df, eps, rmsf_row(d, (i * U32.from_nat(d) : U32), df, eps, s))

Uses (8)

Used by (1)