Matmul.product_splits: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
Lines 345-352 of bendtorch-core@0.1.0.0/src/tensor/matmul.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&start_line=345&end_line=352

import Base

# A product forks as `splits` says, but at most four levels, sixteen
# subtrees: each fork copies both operands into each half, and with a row
# of eight cells running as one loop a subtree's work no longer hides its
# copies. On medusa2 four levels ran fastest at 8 threads for the products
# of an MNIST step and for 256 x 256 x 256 (the MNIST step 15.2 ms against
# 17.5 at six levels) and at one thread (20.1 ms against 21.6).
def product_splits(+depth: Nat, +inner: Nat) -> Nat:
  at_most(splits(depth, inner), 4n)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&name=at_most
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&name=splits