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

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