I still dont see some observational data of yours   
   concering your R. Fateman conjecture, could you be   
   more specific. So far there was only some handwaving,   
      
   a lot of refrences to these and that GCD algorithms.   
   We have also learnt, that for univariate polynomials   
   Euclid GCD = GB, is not something I pulled out of   
      
   my ass. But now, how do we proceed with your conjecture?   
   How do we put it on a firm basis. As far it seems to   
   be based on some childish unfounded shampoo add reasoning.   
      
   Am Freitag, 7. Juli 2017 16:49:15 UTC+2 schrieb Richard Fateman:   
   > On 7/6/2017 5:37 PM, bursejan@gmail.com wrote:   
   > > The R. Fateman conjecture in its original form was this:   
   > >    
   > > Am Mittwoch, 5. Juli 2017 19:17:27 UTC+2 schrieb Richard Fateman:   
   > >>   > I am using a Gröbner Bases algorithm to compute the   
   > >>   > GCD of two multi-variate polynomials.   
   > >> It has been universally observed here that this is   
   > >> a bad idea, and it has been pretty much downhill from there.   
   > > https://groups.google.com/d/msg/sci.math.symbolic/AGKDW2fCpNU/lMbbTI4hAwAJ   
   > >    
   > This is not a conjecture. It is an observation.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)