IsCoprime(t1: RINGELEM, t2: RINGELEM): BOOL
/**/ use QQ[x,y,z]; /**/ IsCoprime(x*y, y*z); false /**/ IsCoprime(x*y, z); true