pub trait ModElementSum<M> {
type Output;
// Required methods
fn to_mod_element_sum(&self, m: M) -> Self::Output;
fn into_mod_element_sum(self, m: M) -> Self::Output;
}Expand description
Calculates the sum of the elements of a vector modulo another number $m$.
The elements must already be reduced modulo $m$. Unlike ModSum, which adds vectors to each
other, this adds up the elements of one vector, producing a single element.
Required Associated Types§
Required Methods§
fn to_mod_element_sum(&self, m: M) -> Self::Output
fn into_mod_element_sum(self, m: M) -> Self::Output
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".