Struct FloorPowerSum 

struct FloorPowerSum<R>
where
    R: SemiRing,
{
    x: R::T,
    sum: R::T,
}

Fields

x: R::T

sum: R::T

Implementations

impl<R> FloorPowerSum<R>

where R: SemiRing,

fn to_x(x: R::T) -> Self

Examples found in repository

crates/competitive/src/math/floor_sum.rs (line 464)

pub fn floor_power_sum<R>(x: R::T, y: R::T, n: u64, a: u64, b: u64, m: u64) -> R::T
where
    R: SemiRing,
{
    floor_monoid_product::<FloorPowerSum<R>>(
        FloorPowerSum::<R>::to_x(x),
        FloorPowerSum::<R>::to_y(y),
        n,
        a,
        b,
        m,
    )
    .sum
}

fn to_y(y: R::T) -> Self

Examples found in repository

crates/competitive/src/math/floor_sum.rs (line 465)

pub fn floor_power_sum<R>(x: R::T, y: R::T, n: u64, a: u64, b: u64, m: u64) -> R::T
where
    R: SemiRing,
{
    floor_monoid_product::<FloorPowerSum<R>>(
        FloorPowerSum::<R>::to_x(x),
        FloorPowerSum::<R>::to_y(y),
        n,
        a,
        b,
        m,
    )
    .sum
}

Trait Implementations

impl<R> Associative for FloorPowerSum<R>

where R: SemiRing,

impl<R> Clone for FloorPowerSum<R>

where R: SemiRing,

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R> Debug for FloorPowerSum<R>

where R: SemiRing + Debug, R::T: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<R> Magma for FloorPowerSum<R>

where R: SemiRing,

type T = FloorPowerSum<R>

type of operands: $T$

fn operate(a: &Self::T, b: &Self::T) -> Self::T

binary operaion: $\circ$

fn reverse_operate(x: &Self::T, y: &Self::T) -> Self::T

fn operate_assign(x: &mut Self::T, y: &Self::T)

impl<R> Unital for FloorPowerSum<R>

where R: SemiRing,

fn unit() -> Self::T

identity element: $e$

fn set_unit(x: &mut Self::T)