Skip to main content

ModPowerOf2Integral

malachite_base::polynomial

Trait ModPowerOf2Integral 

Source 
pub trait ModPowerOf2Integral {
    type Output;

    // Required method
    fn mod_power_of_2_integral(self, pow: u64) -> Self::Output;
}
Expand description

Computes the integral modulo $2^k$ of a polynomial 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 Associated Types§

Source

type Output

Required Methods§

Source

fn mod_power_of_2_integral(self, pow: u64) -> Self::Output

Computes the integral modulo $2^k$ of a polynomial whose constant term is zero.

$$ f(p, k) = \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§