~/jendhub

def Added

bendtorch-core@0.1.0.0 · src/tensor/gather_LAWS.bend:274

import bendtorch-core@0.1.0.0/src/tensor/gather_LAWS.bend as GatherLAWS
import Base
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather

274# The backward of input cell (o, i, r): from gradient cell (o, k, r) on, for
275# `left` more k, a cell whose entry is i adds its word to the sum, in
276# increasing k; a cell whose entry is another skips. `value` is the sum at
277# the end.
278def Added(+dg: Nat, -G: Array<F32>, +di: Nat, -I: Array<U32>, +kind: Gather.Lookup, +count: Nat, +inner: Nat, +o: Nat, +i: Nat, +r: Nat,
279  left: Nat, +k: Nat, +acc: F32, +value: F32) -> Type:
280  match left:
281    case 0n:
282      {value == acc : F32}
283    case 1n+rest:
284      AddStep<dg, G, di, I, kind, count, inner, o, i, r, rest, k, acc, value>

Uses (6)

Used by (6)