On Sunday, August 26, 2018 at 2:58:00 AM UTC-5, nma%12...@gtempaccount.com   
   wrote:   
   > On Sunday, August 26, 2018 at 2:01:55 AM UTC-5, clicl...@freenet.de wrote:   
   > >   
   > > These are Examples 1-7 and 9 from Timofeev Chapter 1, albeit with many   
   > > of the trigonometric functions transformed.   
   > >   
   > > In the case of Example 1, the rule applied is not that intended by   
   > > Albert, I suppose, and for the trigonometric Examples 3-7 and 9,   
   > > applicable rules seem to be missing altogether.   
   > >   
   > > Perhaps some lines of code have to be added to load all of Rubi's   
   > > rules into the SymPy module? Your version appears to be algebraic-only.   
   > >   
   > > Would it be practical to modify Rubi such that all of its rules are   
   > > mutually exclusive? One might try to automate this process, in which   
   > > case it could be made part of MatchPy even.   
   > >   
   > > Martin.   
   >   
   > I think that is what must be happening. It is not loading all the rules   
   > when doing   
   >   
   > from sympy.integrals.rubi.rubi import rubi_integrate   
   >   
   > It also only took 4 minutes, which I thought was good for python.   
   >   
   > But I have no idea what command to use to load all the rules in this case.   
   >   
   > May be it is matchpy issue, or one need to explicitly load all the rules.   
   >   
   > Here the command I used, so any one else could try:   
   >   
   > 1)Installed latest anaconda python   
   >   
   > 2)update to sympy 1.2 using the command   
   > sudo conda install sympy=1.2   
   >   
   > 3)install matchpy   
   >   
   > sudo conda install -c conda-forge matchpy   
   >   
   > Now start python and type   
   >   
   > from sympy import *   
   > from sympy.integrals.rubi.rubi import rubi_integrate   
   >   
   > Now the command rubi_integrate can be used.   
   >   
   > I'll try to ask at sympy forum to see what other commands are needed to load   
   all known Rubi rules since the above commands seems to load only one class of   
   rules and not everything.   
   >   
   > --Nasser   
      
   Forgot to add the build-in help on the command, it says   
      
   >>> help rubi_integrate   
      
   "Help on function rubi_integrate in module sympy.integrals.rubi.rubi:   
      
   rubi_integrate(expr, var, showsteps=False)   
       Rule based algorithm for integration. Integrates the expression by applying   
       transformation rules to the expression.   
      
       Returns `Integrate` if an expression cannot be integrated.   
      
       Parameters   
       ==========   
       expr : integrand expression   
       var : variable of integration   
      
       Returns Integral object if unable to integrate.   
   "   
      
   Btw, the matchpy version installed was matchpy-0.4.4   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)