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,307 of 10,432   
   oldk1331@gmail.com to All   
   Re: New report on CAS integration tests.   
   25 Mar 17 02:29:26   
   
   > Not off-topic: On page 344 of Timofeev's book as well as in Albert's   
   > pdf-file, this example problem reads:   
   >   
   >   INT((x/(x*COS(x) - SIN(x)))^2, x)   
   >   = (x*SIN(x) + COS(x))/(x*COS(x) - SIN(x))   
   >   
   > instead :(.   
   >   
   > Martin.   
      
   Back to topic: yes, the form of integrand matters, at least to heuristic   
   algorithm.  So we can grade integrator based on its output, we can   
   also grade integrator based on its input, although this will harder.   
      
   Take the famous risch algorithm wikipedia example #2:   
      
     int((x^2+2*x+1+(3*x+1)*sqrt(x+log(x)))/(x*sqrt(x+log(x))*(x+sq   
   t(x+log(x)))),x)   
      
   (Is this in the CAS test suite? Can Rubi solve it?)   
      
   The only winner to solve this integral so far is SymPy,   
   f=(x**2+2*x+1+(3*x+1)*sqrt(x+log(x)))/(x*sqrt(x+log(x))*(x+sqrt(x+log(x))))   
   integrate(f, x) can solve it, while   
   integrate(cancel(f), x) can't, 'cancel' expands the denominator.   
      
   That clearly shows the strength and limitation of heuristic algorithm.   
      
   --- 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