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,997 of 10,432   
   antispam@math.uni.wroc.pl to clicliclic@freenet.de   
   Re: Risch integrator troubles   
   02 Jan 20 16:38:28   
   
   clicliclic@freenet.de  wrote:   
   >   
   > "clicliclic@freenet.de" schrieb:   
   > >   
   > > Alarum!   
   > >   
   > > FriCAS 1.3.5 determines the algebraic integral:   
   > >   
   > >   integrate((3*x + 2)/((9*x^2 + 52*x - 12)*(3*x^2 + 4)^(1/3)), x)   
   > >   
   > > to be non-elementary, even though it just equals:   
   > >   
   > >   SUBST(INT(3/(t^3 + 196), t), t, (3*x - 10)/(3*x^2 + 4)^(1/3))   
   > >   
   >   
   > The year is drawing to a close, and we still do not know if this   
   > integrator failure indicates just sloppy programming in Axiom/FriCAS,   
   > or perhaps a gap in algebraic Risch theory, or even a rift in the   
   > mathematical universe.   
      
   Risch theory is alive and in good shape.  But my theory about   
   possibilty of taking a shortcut is in trouble.   
      
   --   
                                 Waldek Hebisch   
      
   --- 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