def product_plan

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:803

import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
import 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)