From: nma@12000.org   
      
   On 7/14/2017 3:03 PM, Nasser M. Abbasi wrote:   
      
   > Looking at random number of integrals that could not be solved by Rubi,   
   > I see some have _no_ corresponding model antiderivatives associated with   
   > them.   
   >   
      
   The input test files have a field in them (third field),   
   which tells the number of Rubi rules needed to solve the   
   integral. _If_ this field is zero, it means there is no model   
   anti-derivative known.   
      
   Currently I do not check for this field.   
      
   I will try to re-run the final phase of the build which generates   
   the reports and add a check to see when an integral   
   could not be solved but it has no known anti-derivative.   
      
   May be give it special marker in the table, such as F* instead   
   of just F to make it more clear.   
      
   This way it will be clear which of the integral that failed   
   have known anti-derivative vs. not.   
      
   I can also add a check, if integral actually passes but has no   
   known anti-derivative. This might be useful also. Will try to   
   do this later and when done, will update.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)