Skip to main content

ModPowerOf2IntegralAssign

malachite_base::polynomial

Trait ModPowerOf2IntegralAssign 

Source 
pub trait ModPowerOf2IntegralAssign {
    // Required method
    fn mod_power_of_2_integral_assign(&mut self, pow: u64);
}
Expand description

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

The coefficient of $x^{i-1}$ is divided by $i$ and moved to $x^i$. Only odd numbers are units modulo $2^k$, so every nonzero coefficient must belong to an even power of $x$.

Required Methods§

Source

fn mod_power_of_2_integral_assign(&mut self, pow: u64)

Replaces a polynomial with its integral modulo $2^k$ whose constant term is zero.

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

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§