law bc_sym

bendtorch@1.3.0.0 · LAWS.bend:262

import Base
import bendtorch@1.3.0.0/tensor.bend as TT

262# LAW (bc_sym): broadcasting does not depend on the order of the operands: a and b broadcast to o exactly when b and a
263# do, so x + y and y + x (and x * y, y * x) accept the same shapes.
264law bc_sym:
265  for +a: List<&2, Nat>
266  for +b: List<&2, Nat>
267  for +o: List<&2, Nat>
268  {TT.bc_ok(a, b, o) == TT.bc_ok(b, a, o) : Bool}