def sum
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reductionimport 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
162def sum(+shape: Shape.Shape, tensor: Core.Tensor<shape>) ->
163 Result<&2, &1, Core.Error, Core.Tensor<shape> & Core.Tensor<scalar_shape()>>:
164 sum_result(shape, tensor_sum(shape, Shape.elements(shape), tensor))
Uses (9)
Used by (8)
- bendtorch-core@0.1.0.0/src/tensor/reduction:sum_dynamic
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:successful_sum_interpretation
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:sum_valid_success
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:successful_dynamic_sum_interpretation
- bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS:sum_dynamic_valid_success
- …