law input_indices_acceptance

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

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

60law input_indices_acceptance:
61  for +plan: Shape.BroadcastPlan
62  for +index: U32
63  {indices_accepted(Elementwise.input_indices(plan, index)) ==
64    Nat.is_lt(U32.to_nat(index), Shape.numel(Shape.extents(Shape.output_shape(plan)))) : Bool}