Skip to main content

ModIntegral

malachite_base::polynomial

Trait ModIntegral 

Source 
pub trait ModIntegral<M> {
    type Output;

    // Required method
    fn mod_integral(self, m: M) -> Self::Output;
}
Expand description

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

Source

type Output

Required Methods§

Source

fn mod_integral(self, m: M) -> Self::Output

Computes the integral modulo $m$ of a polynomial whose constant term is zero.

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