Skip to main content

ModIntegralAssign

Trait ModIntegralAssign 

Source
pub trait ModIntegralAssign<M> {
    // Required method
    fn mod_integral_assign(&mut self, m: M);
}
Expand description

Replaces a polynomial with its integral modulo $m$ whose constant term is zero. The coefficients must already be reduced modulo $m$.

The coefficient of $x^{k-1}$ is divided by $k$ and moved to $x^k$, so every $k$ for which that coefficient is nonzero must be a unit modulo $m$.

Required Methods§

Source

fn mod_integral_assign(&mut self, m: M)

Replaces a polynomial with its integral modulo $m$ whose constant term is zero.

$$ p \gets \int_0^x p(t),dt \bmod m. $$

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§