From: fateman@cs.berkeley.edu   
      
   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)