law reduce_valid_success

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

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/tensor/elementwise_totality.bend as Totality
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce

136# A target whose right-aligned broadcast with the contribution shape is the
137# contribution shape itself always succeeds.
138law reduce_valid_success:
139  for input: Core.Dynamic
140  for +target: Shape.Shape
141  for +alignment: Shape.Broadcast<Shape.extents(target), Shape.extents(Totality.dynamic_shape(input)), Shape.extents(Totality.dynamic_shape(input))>
142  Success<Reduce.reduce_to(input, target)>