~/jendhub

def sum_shaped

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:1356

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
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/reduction.bend as Reduction

1356def sum_shaped(+a: Nat, entries: List<&1, Entry>, pair: Core.Dynamic & Shape.Shape) -> Tape & Result<&2, &2, Error, Nat>:
1357  (input, +shape) = pair
1358  summed(a, entries, shape, Reduction.sum_dynamic(input))

Uses (12)

Used by (1)