Trait comlib_math::Modulus

pub trait Modulus: Copy {
    type Base: Copy + Display + Debug + Add<Output = Self::Base> + Sub<Output = Self::Base> + Mul<Output = Self::Base> + Div<Output = Self::Base> + Rem<Output = Self::Base> + AddAssign + SubAssign + MulAssign + DivAssign + RemAssign + Eq + Ord + Default + From<u8>;
    fn modulus(self) -> Self::Base;
}

Modulus contains the modulus and the actual storage type of ModInt.

Associated Types

type Base: Copy + Display + Debug + Add<Output = Self::Base> + Sub<Output = Self::Base> + Mul<Output = Self::Base> + Div<Output = Self::Base> + Rem<Output = Self::Base> + AddAssign + SubAssign + MulAssign + DivAssign + RemAssign + Eq + Ord + Default + From<u8>

Type for holding values mod modulus().

Must be large enough to contain the square of modulus() - 1, that is the maximum value which can be encountered during multiplication.

Required methods

fn modulus(self) -> Self::Base

Modulus in which computations should be done.

Implementors

impl Modulus for Mod1e9p7

type Base = u64

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