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,270 of 10,432    |
|    clicliclic@freenet.de to antispam@math.uni.wroc.pl    |
|    Re: FriCAS classical integral timeout    |
|    13 Feb 17 03:36:29    |
   
   antispam@math.uni.wroc.pl schrieb:   
   >   
   > clicliclic@freenet.de wrote:   
   > >   
   > > For the trivial integration request:   
   > >   
   > > \begin{axiom}   
   > > setSimplifyDenomsFlag(true)   
   > > integrate(sqrt(1 + p*x^2 - x^4)/(1 + x^4), x)   
   > > \end{axiom}   
   > >   
   > > the FriCAS web interface runs into its five minute timeout:   
   >   
   > Due to a bug integrator was trapped in an infinite loop. After   
   > fixing this bug one gets the following:   
   >   
   > (1) -> )set messages time on   
   > (1) -> setSimplifyDenomsFlag(true)   
   >   
   > (1) false   
   > Type: Boolean   
   > Time: 0.08 (OT) = 0.08 sec   
   > (2) -> integrate(sqrt(1 + p*x^2 - x^4)/(1 + x^4), x)   
   >   
   >   
   > [...]   
   >   
   > Type: Union(Expression(Integer),...)   
   > Time: 0.01 (IN) + 7.45 (EV) + 0.43 (OT) = 7.90 sec   
   >   
      
   Your result appears to contain compensating stuff like:   
      
   > +   
   > 2 12 3 10 3 6   
   > (2p + 8)x + (- 2p - 8p)x + (- 2p - 8p)x   
   > +   
   > 2 4   
   > (- 2p - 8)x   
   > *   
   > +------+2   
   > 4| 2   
   > \|p + 4   
   > +   
   > 2 12 3 10 3 6   
   > (- 2p - 8)x + (2p + 8p)x + (2p + 8p)x   
   > +   
   > 2 4   
   > (2p + 8)x   
   > *   
   > +------+   
   > | 2   
   > \|p + 4   
   >   
      
   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