law vjp_sub

bendtorch-core@0.1.0.0 · src/autograd/backward_LAWS.bend:195

import Base
import bendtorch-core@0.1.0.0/src/autograd/backward.bend as Backward

195law vjp_sub:
196  for +a: Nat
197  for +b: Nat
198  for +g: F32
199  {Backward.vjp(Backward.Sub{a, b}, g) == [Backward.Contribution{a, g}, Backward.Contribution{b, F32.neg(g)}] : List<&2, Backward.Contribution>}