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,615 of 10,432    |
|    clicliclic@freenet.de to clicliclic@freenet.de    |
|    Re: multiple non-linear factors & trace     |
|    25 Aug 17 20:56:51    |
      clicliclic@freenet.de schrieb:       >       > The pair of cube-root pseudo-elliptic integrals found by Euler:       >       > integrate((a + b*x)/((3 - x^2)*(1 - 3*x^2)^(1/3)), x)       >       > integrate((a + b*x)/((3 + x^2)*(1 + 3*x^2)^(1/3)), x)       >       > and the pair found (or implied) by Legendre:       >       > integrate((a + b*x)/((3 + x^2)*(1 - x^2)^(1/3)), x)       >       > integrate((a + b*x)/((3 - x^2)*(1 + x^2)^(1/3)), x)       >       > look very similar. But FriCAS 1.3.1 (the current web-interface       > version) returns:       >       > >> Error detected within library code: integrate: implementation       > incomplete (residue poly has multiple non-linear factors)       >       > for Euler's pair and:       >       > >> Error detected within library code: integrate: implementation       > incomplete (trace 0)       >       > for Legendre's pair. With the four integrands being so similar, this       > occurence of different failure modes is somewhat surprising.       >       > However, FriCAS can solve all of them for either a=0 or b=0, and thus       > also knows how to solve the general cases in a sense.       >              Actually, the first integral for a=0               integrate((b*x)/((3 - x^2)*(1 - 3*x^2)^(1/3)), x)              is solved readily while for b=0               integrate((a)/((3 - x^2)*(1 - 3*x^2)^(1/3)), x)              the FriCAS web interface runs into a 5-minute timeout. Replacing the       constant numerator (a) with unity makes the computation instantaneous. I       believe this behavior has been noted by oldk1331 already; I am inclined       to call it a bug.              Anyway, its existence puts the appropriateness of the "implementation       incomplete" exit for the full numerator (a + b*x) into some doubt.              I didn't check - but the other three integrands presumably exhibit the       same behavior.              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