def pcells

bendtorch-gpu@1.3.0.0 · main.bend:909

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu

import Base

909# P's cells (b·h·t(t + 1)/2), the score cells dealt in pairs of rows (b·h·ceil(t/2)·(t + 1)) and P's rows (b·h·t)
910def pcells(+b: Nat, +t: Nat, +kv: Nat, +g: Nat) -> Nat:
911  Nat.mul(Nat.mul(b, Nat.mul(kv, g)), Nat.div(Nat.mul(t, 1n+t), 2n))

Uses (3)

Used by (2)