def product_plan
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
803# The plan of a product: both operands rank 2, laid out in their orders,
804# with equal inner extents.
805def product_plan(+lo: Order, +ro: Order, +left: Shape.Shape, +right: Shape.Shape) -> Result<&2, &2, Error, Product<lo, ro, left, right>>:
806 product_left(lo, ro, left, right, split_dims(lo, Shape.dimensions(left)))
Uses (8)
Used by (15)
- bendtorch-core@0.1.0.0/src/tensor/matmul:product
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_proof:plan_facts
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_proof:product_ordered
- bendtorch-core@0.1.0.0/src/tensor/contracts/LAWS:product_replayed
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_proof:parallel_lift
- …