From: Albert_Rich@msn.com   
      
   On Saturday, April 30, 2016 at 9:49:41 PM UTC-10, clicl...@freenet.de wrote:    
   > 16*3 = 48 rules; but distinguishing polynomials by degree only, this    
   > would better be counted as 3*3 = 9 rules.    
      
   If you are really curious about the need for the new rules in Rubi 4.92, you   
   can compare the current source now posted on Rubi's website with the previous   
   source.    
      
   > It seems to be settled in your mind by now that Rubi's pattern-matching    
   > activities should be quickly forgotten once version 5 is out and stable.    
      
   I would dearly love to forget Rubi 4, but in addition to manually compiling   
   6000+ pattern-matching rules into a decision-tree, there is a lot of other   
   work to do before Rubi 5 is ready for prime-time:    
      
   1.  In order for Rubi 5 to display integration steps, like Rubi 4 does, will   
   require implementing an if-then-else tree interpreter that can reconstruct the   
   rule's application conditions as it descends through the tree so they can be   
   displayed to the user.   
       
      
   2.  In order to display Rubi 5's rule-based decision-tree in human-readable   
   form, like the list of pattern-matching rules currently displayed on the   
   website, will require reconstructing the rules implicitly stored in the tree   
   and storing them as a list    
   of pattern-matching rules.    
      
   > On that occasion, you may thus even think of renaming Rubi and    
   > restarting at version 1 :).    
      
   No, I think "Rubi" is a great name for a rule-based integrator, no matter   
   whether the rules are selected using pattern-matching or a decision-tree.    
      
   Albert    
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)