law weight_adjoint

bendtorch@1.3.0.0 · LAWS.bend:19

import Base
import bendtorch@1.3.0.0/spec.bend as Spec

19# LAW (weight_adjoint): the weight gradient dW = dy ⊗ x is the adjoint in W: dy·(W·x) == <dy ⊗ x, W>.
20law weight_adjoint:
21  for w: List<&2, List<&2, Nat>>
22  for g: List<&2, Nat>
23  for +v: List<&2, Nat>
24  {Spec.dotn(g, Spec.mv(w, v)) == Spec.frob(Spec.outer(g, v), w) : Nat}