law full_grad

bendtorch@1.3.0.0 · LAWS.bend:153

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

153# LAW (full_grad): the backward's G row for row i sums over all t keys, not 1 + i.
154law full_grad:
155  for +i: Nat
156  for +m: Nat
157  for +hd: Nat
158  for +sc: F32
159  for +ds: U32
160  for +dc: U32
161  for +vs: U32
162  for +vc: U32
163  for d: Array<F32>
164  for v: Array<F32>
165  for pa: Array<F32>
166  for ga: Array<F32>
167  {T.gr_n(T.fgrow(i, m, hd, sc, ds, dc, vs, vc, d, v, pa, ga)) == 1n+m : Nat}