Module floor_sum

Module floor_sum 

Source

Structsยง

FloorPowerSum ๐Ÿ”’
FloorSum ๐Ÿ”’
FloorSumData ๐Ÿ”’

Functionsยง

choose2 ๐Ÿ”’
floor_monoid_product ๐Ÿ”’
floor_power_sum
$$\sum_{i=0}^{n-1}x^iy^{\left\lfloor\frac{a\times i+b}{m}\right\rfloor}$$
floor_sum
Sum of Floor of Linear mod 2^64
floor_sum_i64
Sum of Floor of Linear mod 2^64
floor_sum_polynomial
$$\sum_{i=0}^{n-1}i^X\left\lfloor\frac{a\times i+b}{m}\right\rfloor^Y$$
floor_sum_polynomial_i64
$$\sum_{i=l}^{r-1}i^X\left\lfloor\frac{a\times i+b}{m}\right\rfloor^Y$$
floor_sum_range_freq