ReluLAWS.relu_edges: law of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend as ReluLAWS
Lines 104-109 of bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend&start_line=104&end_line=109

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

# The words PyTorch 2.14.1's torch.relu returns at the edge words.
law relu_edges:
  {scalar_at(Elementwise.ReluLeft{}, 0, edges()) ==
    [0, 2147483648, 1, 0, 8388607, 0, 8388608, 0, 1065353216, 0,
      2139095039, 0, 2139095040, 0, 2139095041, 4286578689, 2143289344, 4290772992,
      2147483647, 4294967295] : List<&2, U32>}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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/relu_LAWS.bend&name=edges
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend&name=scalar_at