Function ring_algorithm::is_coprime

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, 

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