From: Albert_Rich@msn.com   
      
   On Wednesday, December 13, 2017 at 11:20:17 AM UTC-10, Richard Fateman wrote:   
   > On 12/10/2017 10:28 AM, clicliclic@freenet.de wrote:   
   > > The next step should be to debug the utility functions   
   >    
   > As I recall, I parsed and executed the algebraic integral rules into   
   > lisp, and could solve many integrals, but ran out of steam because   
   > what you call "utility functions" can in principle include any   
   > functionality available to the matching programs.   
   >    
   > Which means, in principle, all of Mathematica.  To the extent that   
   > my lisp system or someone else's sympy fails to mimic every   
   > Mathematica "utility" in the way expected by Rubi,   
   > the ruleset may not provide the correct   
   > answer.  Or in the tests I ran years ago, might fail to converge   
   > on some examples.   
   >    
   > Just a caution.   
   >    
   > RJF   
      
   No, if all the application conditions of any of Rubi's 6000+ integration rules   
   is satisfied, the result of applying that rule will be a mathematically valid   
   antiderivative.   
      
   If the simplification and expansion functions defined in Sympy's utility file   
   for Rubi do not exactly mimic Mathematica's, the resulting antiderivatives may   
   not be quite as concise as those produced by Rubi running on Mathematica, but   
   they still will    
   terminate and be mathematically correct.   
      
   Albert   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)