def splits
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwiseimport Base
437# A subtree below the forks holds 2^15 cells: an output of 2^20 cells forks
438# five levels into 32 subtrees, and an output of at most 2^15 cells does not
439# fork.
440def splits(+depth: Nat) -> Nat:
441 Nat.sub(depth, 15n)
Uses (2)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/elementwise:parallel_output
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_proofs:core
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_proofs:output_eq
- bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof:output_cell
- bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof:output_mapping