Struct comlib_math::RuntimePrimeModulus

pub struct RuntimePrimeModulus<T>(_);

Modulus whose value can be selected at runtime.

The modulus must be a prime. This differs from RuntimeModulus in that this implements InvertibleModulus because numbers in prime modulus can be inverted by taking their p-2:th power.

Trait Implementations

impl<T: Clone> Clone for RuntimePrimeModulus<T>

fn clone(&self) -> RuntimePrimeModulus<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for RuntimePrimeModulus<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T> From<T> for RuntimePrimeModulus<T>

fn from(modulus: T) -> Self

Performs the conversion.

impl<T> InvertibleModulus for RuntimePrimeModulus<T> where
    T: Copy + Display + Debug + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Rem<Output = T> + AddAssign + SubAssign + MulAssign + DivAssign + RemAssign + Eq + Ord + Default + From<u8> + Into<usize>, 

fn inverse(self, value: ModInt<Self>) -> ModInt<Self>

Computes the inverse of the given ModInt.

Because the modulus is known to be a prime, this can be computed as value.pow(self.modulus() - 2) due to Fermat’s little theorem.

impl<T> Modulus for RuntimePrimeModulus<T> where
    T: Copy + Display + Debug + Add<Output = T> + Sub<Output = T> + Mul<Output = T> + Div<Output = T> + Rem<Output = T> + AddAssign + SubAssign + MulAssign + DivAssign + RemAssign + Eq + Ord + Default + From<u8> + Into<usize>, 

type Base = T

Type for holding values mod modulus().

fn modulus(self) -> T

Modulus in which computations should be done.

impl<T: Copy> Copy for RuntimePrimeModulus<T>