law sum_dims_dropped_reduced

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

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

83law sum_dims_dropped_reduced:
84  for +axes: List<&2, U32>
85  for +extent: U32
86  for +rest: List<&2, U32>
87  for +axis: U32
88  for reduced: {SumDims.reduces(axes, axis) == True{} : Bool}
89  {SumDims.dropped_from(axes, extent <> rest, axis) == SumDims.dropped_from(axes, rest, U32.add(axis, 1)) : List<&2, U32>}