def right_index
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
247def right_index(+columns: Nat, +column: Nat, +k: Nat) -> U32:
248 U32.from_nat(Nat.add(Nat.mul(k, columns), column))
Uses (5)
Used by (14)
- bendtorch-core@0.1.0.0/src/tensor/matmul:cell_dot
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:ArrStep
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:dot_extend
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:dot_run
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:dot_eq
- …