pub fn montgomery_reduce<M: NttModulus>(a: u64) -> u32Expand description
Montgomery reduction: computes a * R^-1 mod Q
For a ∈ [0, Q·R), returns a·R^(-1) mod Q in [0, Q)
pub fn montgomery_reduce<M: NttModulus>(a: u64) -> u32Montgomery reduction: computes a * R^-1 mod Q
For a ∈ [0, Q·R), returns a·R^(-1) mod Q in [0, Q)