def read_offset
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
427def read_offset(+order: Order, +inner: Nat, +outers: Nat, +outer: Nat, +k: Nat) -> Nat:
428 match order:
429 case Kept{}:
430 Nat.add(Nat.mul(outer, inner), k)
431 case Swapped{}:
432 Nat.add(Nat.mul(k, outers), outer)
Uses (4)
Used by (20)
- bendtorch-core@0.1.0.0/src/tensor/matmul:read_index
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul:left_start
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul:right_start
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:read_below
- bendtorch-core@0.1.0.0/src/tensor/matmul:row_block_run
- …