def column_of
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
241def column_of(+columns: Nat, +position: Nat) -> Nat:
242 Nat.div(Nat.mod(position, Nat.mul(columns, 1n)), 1n)
Uses (4)
Used by (20)
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:cell_word
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:cell_word
- bendtorch-core@0.1.0.0/src/tensor/matmul:row_block_run
- bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof:CellAt
- bendtorch-core@0.1.0.0/src/tensor/matrix_index_proof:position_fits
- …