Skip to main content

ModPowerOf2DerivativeAssign

Trait ModPowerOf2DerivativeAssign 

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

Replaces a polynomial with its derivative modulo $2^k$. The coefficients must already be reduced modulo $2^k$.

Each coefficient $a_i$ becomes $ia_i \bmod 2^k$, which can be zero even when $a_i$ is not, so the derivative can lose any number of degrees.

Required Methods§

Source

fn mod_power_of_2_derivative_assign(&mut self, pow: u64)

Replaces a polynomial with its derivative modulo $2^k$.

$$ p \gets p’ \bmod 2^k. $$

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§