pub fn strict_mod_mul<T>(a: T, b: &T, m: &T) -> Twhere
for<'a> T: Zero + One + PartialOrd + OverflowingAdd + OverflowingSub + Shr<usize, Output = T> + RemAssign<&'a T>,
for<'a> &'a T: Rem<&'a T, Output = T> + BitAnd<Output = T>,
Expand description
ยงModular Multiplication (Strict)
Most constrained version that works with references. Requires
OverflowingAdd
and OverflowingSub
traits to be implemented.