home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 9,053 of 10,432   
   Albert Rich to clicl...@freenet.de   
   Re: Who is fastest AND optimal?   
   02 May 16 19:13:30   
   
   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 so 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 there is a lot of 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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca