~/jendhub

def fgrow

bendtorch@1.3.0.0 · main.bend:3014

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

3014# ---- the backward of the full-visible forward. G's row i also needs every key, so fgrow takes t - 1 dots where grow
3015# takes i; the rest (gfix, pmul, pacc, the group sum, the tree) is the causal path's own code.
3016def fgrow(+i: Nat, +m: Nat, +hd: Nat, +sc: F32, +ds: U32, +dc: U32, +vs: U32, +vc: U32, d: Array<F32>, v: Array<F32>, p: Array<F32>, g: Array<F32>) -> GR:
3017  gr2(sc, (U32.from_nat(i) * U32.from_nat(1n+m) : U32), p, g, drow(m, hd, ((U32.from_nat(i) * ds : U32) + dc : U32), vc, vs, Nil{}, dot0(hd, ((U32.from_nat(i) * ds : U32) + dc : U32), vc, 1, 1, d, v)))

Uses (12)

Used by (3)