pub fn bus_alpha_weights<F: HardwareField>(
start: Flat<F>,
alpha: Flat<F>,
) -> impl Iterator<Item = BusWeights<F>>Expand description
Bus k from start = α^o: consistency at α^(o+2k), bus-sum at
α^(o+2k+1). One shared power pins only the sum of the two terms,
and a constant consistency residual then moves the claimed sum.