law below_zero_edges

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

import Base

60# The two comparisons at the edge words, as PyTorch's `x < 0` and `x <= 0`
61# answer them.
62law below_zero_edges:
63  {below_zero_at(edges()) ==
64    [False{}, False{}, False{}, True{}, False{}, True{}, False{}, True{}, False{}, True{},
65      False{}, True{}, False{}, True{}, False{}, False{}, False{}, False{}, False{}, False{}] : List<&2, Bool>}