There is no bursejan should bla bla. There is   
   only RJF should the fuck shut up.   
      
   How and why some transfer from Kunaki Mukai might   
   happen still depends on a thorough confirmation.   
      
   Whether his approach is blinding fast, I was   
   not yet able to confirm. I also dont know whether:   
      
   > So maxima beats SWI-Prolog only by:   
   >     (0.040-0.31) / 0.40 = 22%   
      
   is correct. It combines a measurement by RJF   
   with a measurement by Kunaki Mukai. What   
      
   machines were used? So RJF if you could please   
   stop your annoying nonsense. You sound like   
      
   a complete idiot.   
      
   Am Sonntag, 6. August 2017 07:21:08 UTC+2 schrieb Richard Fateman:   
   > 1.  apparently the SWI-Prolog system does not work for total order,   
   > on those polynomials   (I had not realized F1 and F2 were in fact   
   > the very same polynomials! Sorry.)  Still it suggests that there   
   > is something wrong with that code.   
   >   
   > 2. If the SWI-Prolog system gb code can run on a "pure"   
   > traditional Prolog, fast, then bursejan should just use it   
   > and find some other way of spending his time.   
   > I don't know what vector(true) in SWI gb actually does.   
   > If it truly disables  anything other   
   > than standard prolog, then bursejan   
   > should run it on such a system (Is Jekejeke   
   > such a system?)   
   >   
   > RJF   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)