modmath

Function constrained_from_montgomery

Source 
pub fn constrained_from_montgomery<T>(
    a_mont: T,
    modulus: &T,
    n_prime: &T,
    r_bits: usize,
) -> T
where
    for<'a> T: Clone + Zero + One + PartialOrd + Shl<usize, Output = T> + Shr<usize, Output = T> + WrappingAdd + WrappingSub + for<'a> Rem<&'a T, Output = T> + Mul<&'a T, Output = T>,
    for<'a> &'a T: Rem<&'a T, Output = T>,
Expand description

Convert from Montgomery form (Constrained): (a * R) -> a mod N Uses Montgomery reduction algorithm