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,581 of 10,432   
   Nasser M. Abbasi to clicliclic@freenet.de   
   Re: Computer Algebra Independent Integra   
   14 Jul 17 15:03:25   
   
   From: nma@12000.org   
      
   On 7/14/2017 1:59 PM, clicliclic@freenet.de wrote:   
      
   > If timeout effects are indeed negligible here, more than half of the   
   > roughly 5000 new integrals cannot be evaluated by either Rubi or   
   > Mathematica or Maple. One may consequently wonder how the roughly 3000   
   > corresponding model antiderivatives were obtained.   
   >   
   > Martin.   
   >   
      
   The difference in number of tests between current build test suite   
   Rubi 4.11 and earlier one 4.9.8 is (5,179) new integrals added.   
      
   If half of the new integrals could not be solved, then indeed the new   
   result makes sense (5% drop in overall score).   
      
   Looking at random number of integrals that could not be solved by Rubi,   
   I see some have _no_ corresponding model antiderivatives associated with   
   them.   
      
   It just shows the input itself as the optimal.   
      
   It looks like these new integrals were put there as place holders   
   by Albert until optimal anti-derivative is found?   
      
   Here is one example   
      
   http://12000.org/my_notes/CAS_integration_tests/reports/rubi_4_1   
   /test_cases/8_Special_functions/8.1Errorfunctions/resu7.htm#7   
      
   Int[Erf[b*x]^2/x,x]   
      
   No optimal anti-derivative there.   
      
   This explains why the new test results have lower score than the   
   last one. But again, Albert would know for sure, as he wrote the test   
   input files.   
      
   Regards,   
   --Nasser   
      
   --- 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