def ph_nw
import bendtorch-fast@1.3.0.0/main.bend as BendtorchFastimport Base
138# the words of r·c elements, ceil(r·c / 2)
139def ph_nw(+r: Nat, +c: Nat) -> Nat:
140 Nat.div(Nat.add(Nat.mul(r, c), 1n), 2n)
import bendtorch-fast@1.3.0.0/main.bend as BendtorchFastimport Base
138# the words of r·c elements, ceil(r·c / 2)
139def ph_nw(+r: Nat, +c: Nat) -> Nat:
140 Nat.div(Nat.add(Nat.mul(r, c), 1n), 2n)