Skip to main content

ModDerivative

Trait ModDerivative 

Source
pub trait ModDerivative<M> {
    type Output;

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

Computes the derivative of a polynomial modulo $m$. The coefficients must already be reduced modulo $m$.

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

Required Associated Types§

Required Methods§

Source

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

Computes the derivative of a polynomial modulo $m$.

$$ f(p, m) = p’ \bmod m. $$

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§