law relu_edges

bendtorch-core@0.1.0.0 · src/tensor/relu_LAWS.bend:104

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

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