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,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