antispam@math.uni.wroc.pl schrieb:   
   >   
   > clicliclic@freenet.de wrote:   
   > >   
   > > To the algebraic integration problem:   
   > > while for:   
   > >   
   > > \begin{axiom}   
   > > setSimplifyDenomsFlag(true)   
   > > integrate(1/((sqrt(1 - x^2) - q)*sqrt(sqrt(1 - x^2) - q*x^2)), x)   
   > > \end{axiom}   
   > >   
   > > it runs into its five-minute timeout.   
   >   
   > After 10 hours FriCAS returns unevaluated integral.   
   >   
      
   Thanks, I can accept this result easily. I was just trying to find out   
   on the quick (!) if the integral is elementary - and instead (after a   
   quite acceptable minute or so) obtained what looked like the   
   manifestation of a bug.   
      
   The result for the second version of the integral implies that the first   
   version:   
      
     integrate(1/((p*sqrt(1 - x^2) - 1)*sqrt(p*sqrt(1 - x^2) - x^2)), x)   
      
   should be returned unevaluated as well. I see that the FriCAS version of   
   the web interface has been updated to 1.3.1, but the "Denominator not   
   equal to 1" error remains.   
      
   Martin.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)