def matmul
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
402# `matmul` builds its output in parallel. `multiply`, `natural_product_loop`
403# and `natural_dot` above are the sequential definition of the same cells,
404# which their own laws state.
405def matmul(left: Core.Dynamic, right: Core.Dynamic) -> Result<&2, &1, Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>:
406 Core.Packed{+left_shape, a} = left
407 Core.Packed{+right_shape, b} = right
408 parallel_planned(left_shape, right_shape, a, b, plan(left_shape, right_shape))
Uses (6)
Used by (19)
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:left_product
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:nt_left
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward:right_product
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:matmul_replayed
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_proof:parallel_lift
- …