law sum_dims_dropped_start

bendtorch-core@0.1.0.0 · src/autograd/sum_dims_LAWS.bend:77

import Base
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims

77# The dropped dimensions count axes from 0, and leave out each reduced axis.
78law sum_dims_dropped_start:
79  for +axes: List<&2, U32>
80  for +dimensions: List<&2, U32>
81  {SumDims.dropped_dimensions(axes, dimensions) == SumDims.dropped_from(axes, dimensions, 0) : List<&2, U32>}