Why is the step property in a balancing network defined as it is?
The formula is wrong. The correct formula is
$$
y_i = \lfloor \frac{n}{w} \rfloor + [i &lt; (n \mod{w})],
$$
where $[C]$ equals 1 if $C$ holds, and 0 otherwise.

Sometimes books contain mistakes. When you see a mistake, correct it and proceed. No need to ask us for permission.