Trait Reduce 

pub trait Reduce<T>: Sized {
    // Required method
    fn reduce(value: &T) -> Self;
}

Modular reduction from a larger value T.

This can be seen as fixed modular reduction, where the modulus is fixed at compile time by Self.

For modular reduction with a variable modulus, use Rem.

Required Methods

fn reduce(value: &T) -> Self

Reduces self modulo Modulus.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<const LIMBS: usize, MOD> Reduce<Uint<LIMBS>> for ConstMontyForm<MOD, LIMBS>

where MOD: ConstMontyParams<LIMBS>,