haar_lib::math

Module sum_floor_linear

Source
Expand description

$\sum_{i=0}^{n-1} \lfloor \frac{ai+b}{m} \rfloor$

Functionsยง

sum_floor_linear
$\sum_{i=0}^{n-1} \lfloor \frac{ai+b}{m} \rfloor$