~/jendhub

law sum_dims_plan_dimensions

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

import bendtorch-core@0.1.0.0/src/autograd/sum_dims_LAWS.bend as SumDimsLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims

139# A plan holds the kept dimensions as its shape and the dropped dimensions.
140law sum_dims_plan_dimensions:
141  for +shape: Shape.Shape
142  for +axes: List<&2, U32>
143  PlanKeeps(axes, Shape.dimensions(shape), SumDims.plan(shape, axes))

Uses (9)

Used by (0)

No other definition uses this definition.