def Bands.zeros

bend-ml-tensor-array@0.1.19.0 · main.bend:1578

import Base

1578# r x c of zeros in 2^d bands (d = 0: a single band, the same as a Mat)
1579def Bands.zeros(+d: Nat, +r: Nat, +c: Nat) -> Bands<r, c>:
1580  match d:
1581    case 0n:
1582      BLeaf{Mat.zeros(r, c)}
1583    case 1n+q:
1584      # bend-lint: disable-next bend-lint-rules/performance/missed_fork -- bands are built once at load not-expected-because: forking them measured as no change (NOTES 2026-10-16)
1585      BNode{Bands.zeros(q, half(r), c), Bands.zeros(q, Nat.sub(r, half(r)), c)}