law negate_left_scalar

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:150

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

150# NegateLeft flips the sign bit of the left word, as PyTorch's neg does, and
151# ignores the right word. The Sub VJP sends -g to its second operand with it.
152law negate_left_scalar:
153  for +left: F32
154  for +right: F32
155  {Elementwise.scalar(Elementwise.NegateLeft{}, left, right) == F32.neg(left) : F32}