def dot_fold
import bendtorch-core@0.1.0.0/src/tensor/dot_fold.bend as DotFoldimport Base
9def dot_fold(values: List<&2, Factors>, accumulator: F32) -> F32:
10 match values:
11 case Nil{}:
12 accumulator
13 case Factors{left, right} <> tail:
14 dot_fold(tail, F32.add(accumulator, F32.mul(left, right)))
Uses (5)
Used by (37)
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:cell_word
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:cell_word
- bendtorch-core@0.1.0.0/src/tensor/matmul_LAWS:ProductCell
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul_PROOF:StridedRun
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:DotRun
- …