law broadcast_right_projection

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

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

152law broadcast_right_projection:
153  for +left: List<&2, Nat>
154  for +right: List<&2, Nat>
155  for +output: List<&2, Nat>
156  for +alignment: Shape.Broadcast<left, right, output>
157  for +coordinate: Shape.Coordinate(output)
158  {Shape.indices(right, Shape.project_right(left, right, output, alignment, coordinate)) == Shape.project_indices(right, Shape.indices(output, coordinate)) : List<&2, Nat>}