From: Albert_Rich@msn.com   
      
   On Friday, September 15, 2017 at 6:33:01 AM UTC-10, clicl...@freenet.de wrote:   
   > - Of Rubi's utility functions, which are needed to actually apply the   
   > integration rules, all but a handful have been converted to SymPy, the   
   > widely used Dist[] function being among the missing ones.   
      
   I am delighted to learn students are using Rubi as the basis for computer   
   science projects.   
      
   For Rubi to generate correct results, all Dist[u,v,x] needs to do is return   
   u*v, with u distributed over the terms of v. The third argument can safely be   
   ignored.  The definition of Dist is complicated by the need to make results   
   pretty when single-   
   stepping through an integration, but pretty is not essential to being   
   mathematically correct.   
      
   BTW, is SymRubi going to support single-stepping?   
      
   Albert   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)