ring_algorithm

Function is_coprime

Source 
pub fn is_coprime<T>(x: T, y: T) -> bool
where
    T: Sized + Eq + Zero + One + RingNormalize + for<'x> From<<&'x T as Rem>::Output>,
    for<'x> &'x T: Rem,
Expand description

test $\gcd(x, y) = 1$