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 10,223 of 10,432   
   =?UTF-8?B?0JLQsNC70LXRgNC40Lkg0JfQs to All   
   Re: specialization theorems   
   09 Jun 22 18:32:38   
   
   From: val.zapod.vz@gmail.com   
      
   To dev of FriCAS: apparently FriCAS cannot handle the key   
   result of both papers, it causes infinite loop (or whatever):   
      
   integrate(x/(x^2-1/5-2*%i/5)/(x^3-x)^(1/2), x)   
      
   While it is elementary! Mathematica 13 can do it very fast, but   
   not in elementary functions. It is interesting WHY FullSimplify   
   does not see it from the math. 13 result, is it possible there is   
   a simplification to elementary function possible or a constant   
   difference in real part? Or is the result in the paper too big?   
   __________   
   The other example that Mathematica 13 solves with insanely   
   big result. Never seen anything like it (but again paper gives    
   elementary result, DID not check FriCAS):   
      
   Integrate[((5t^2+40^t+62)x+t^3+8t^2+70^t+144)/ (x−t)((2t+8)x+t^2+4t+18)(   
   x^3−30x−56)^(1/2),x]   
      
   P.S. After reading the papers I did not find the script to    
   generate those but it should be there, of course.   
      
   --- 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