def Mat.max_rows

bend-tensors@0.0.0.2 · bend_tensors.bend:1511

import Base

1511def Mat.max_rows(+rows: Nat, +cols: Nat, m: Mat<rows, cols>) -> Vec<rows>:
1512  MatS{t} = m
1513  VecS{VecT.mask(VecT.depth(rows), MatT.max_rows_upto(VecT.depth(rows), VecT.depth(cols), t, 0n, cols), 0n, rows)}