law broadcast_left_projection

bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:144

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

144law broadcast_left_projection:
145  for +left: List<&2, Nat>
146  for +right: List<&2, Nat>
147  for +output: List<&2, Nat>
148  for +alignment: Shape.Broadcast<left, right, output>
149  for +coordinate: Shape.Coordinate(output)
150  {Shape.indices(left, Shape.project_left(left, right, output, alignment, coordinate)) == Shape.project_indices(left, Shape.indices(output, coordinate)) : List<&2, Nat>}