Trait comlib_math::InvertibleModulus

pub trait InvertibleModulus: Modulus {
    fn inverse(self, value: ModInt<Self>) -> ModInt<Self>;
}

Marker trait for indicating that modular numbers in this modulo can be inverted.

Required methods

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

Computes the inverse of the given ModInt.

Implementors

impl InvertibleModulus for Mod1e9p7

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>,