law broadcast_valid_success

bendtorch-core@0.1.0.0 · src/autograd/broadcast_LAWS.bend:76

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/broadcast.bend as Broadcast

76# A request whose right-aligned broadcast with the input shape is the target
77# itself always succeeds.
78law broadcast_valid_success:
79  for input: Core.Dynamic
80  for +target: Shape.Shape
81  for +alignment: Shape.Broadcast<Shape.extents(Totality.dynamic_shape(input)), Shape.extents(target), Shape.extents(target)>
82  Success<Broadcast.broadcast_to(input, target)>