law reduce_mapping

bendtorch-core@0.1.0.0 · src/autograd/reduce_LAWS.bend:120

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce

120# On success the output has the target's dimensions, and for every list of
121# words that lists the contribution, each in-bounds target position holds the
122# ordered fiber sum of those words.
123law reduce_mapping:
124  for input: Core.Dynamic
125  for +target: Shape.Shape
126  MappingModel<input, target, Reduce.reduce_to(input, target)>