Trait LinearFloorSum 

pub trait LinearFloorSum {
    // Required method
    fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self;
}

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

Requirements

• $n \ge 0$
• $m \gt 0$

Idea

あとで書く。

See also

• https://rsk0315.hatenablog.com/entry/2020/12/13/231307
• https://atcoder.jp/contests/practice2/editorial/579

Examples

use nekolib::math::LinearFloorSum;

assert_eq!(4_u128.linear_floor_sum(10, 6, 3), 3);
assert_eq!(6_u128.linear_floor_sum(5, 4, 3), 13);
assert_eq!(1_u128.linear_floor_sum(1, 0, 0), 0);
assert_eq!(31415_u128.linear_floor_sum(92653, 58979, 32384), 314095480);
assert_eq!(
    1000000000_u128.linear_floor_sum(1000000000, 999999999, 999999999),
    499999999500000000
);
assert_eq!(14_i128.linear_floor_sum(23, -7, -39), -58);

Required Methods

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl LinearFloorSum for i8

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for i16

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for i32

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for i64

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for i128

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for isize

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for u8

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for u16

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for u32

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for u64

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for u128

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

impl LinearFloorSum for usize

fn linear_floor_sum(self, m: Self, a: Self, b: Self) -> Self

Implementors