TensorBackwardLAWS.negate_left_scalar: law of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend as TensorBackwardLAWS
Lines 150-155 of bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend&start_line=150&end_line=155

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.neg
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/elementwise.bend&name=Operation
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/elementwise.bend&name=scalar