pub fn split(sum: i64, act_sum: i64) -> (i64, i64)
A chain’s sum split into its two rows’ partials: (Σ a′·q₁, Σ a′·q₂).
(Σ a′·q₁, Σ a′·q₂)