From: janburse@fastmail.fm   
      
   A possible link from Q(X)[Y] to Q[X,Y] would be,   
   if the Bezout identity holds in Q(X)[Y]:   
      
       a*f + b*g = h   
      
   And if a,b are fraction and h is the GCD, we could   
   write this as:   
      
       u/v*f + p/q*g = h   
      
   Now multiply both sides by v*q/GCD(v,q) to get:   
      
       q*u/GCD(v,q)*f + v*p/GCD(v,q)*g = v*q/GCD(v,q)*h   
      
   So we get a new Bezout identity in Q[X,Y]:   
      
       a'*f + b'*g = h'   
      
   Now a',b' are not anymore fractions. But is h' a GCD   
   in Q[X,Y]? So possibly there is a link between the two,   
      
   but what is the snag?   
      
   j4n bur53 schrieb:   
   > that even would show a relationhip between Euclid GCD   
   > and the GB GCD for the domain Q[X,Y] bivariate polynomials.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)