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,171 of 10,432   
   clicliclic@freenet.de to oldk1331@gmail.com   
   Re: Announce: FriCAS 1.3.0 has been rele   
   23 Sep 16 18:07:51   
   
   oldk1331@gmail.com schrieb:   
   >   
   > On Friday, September 23, 2016 at 1:55:30 AM UTC+8, clicl...@freenet.de wrote:   
   > >   
   > > ... which doesn't sound promising. But I see that I should have been   
   > > specific. So, how does FriCAS 1.3.0 react to:   
   > >   
   > >   INT(1/(x^3 - 3*x^2 + 7*x - 4)^(1/3), x) = ?   
   > >   
   > >   INT(1/(x*(3*x^2 - 6*x + 5)^(1/3)), x) = ?   
   > >   
   > >   INT((1 - x^3)^(1/3)/(2 + x), x) = ?   
   > >   
   > >   INT((2 + x)/((1 + x + x^2)*(2 + x^3)^(1/3)), x) = ?   
   > >   
   > > All four are 'detuned' versions of pseudo-elliptics considered   
   > > earlier.   
   >   
   > FriCAS can prove No. 1,2,4 do not have elementary integral in   
   > a few seconds with "setSimplifyDenomsFlag(true)".   
   >   
   > For No. 3, FriCAS gives an error:   
   >    integrate: implementation incomplete (residue poly has multiple   
   > non-linear factors)   
      
   Three out of four: not at all disastrous! Curiously, integrand no. 3 is   
   the most compact, and those multiple non-linear factors must somehow   
   fit into its 19 bytes.   
      
   Martin.   
      
   --- 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