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 10,235 of 10,432    |
|    Nasser M. Abbasi to Nasser M. Abbasi    |
|    Re: alarum: Risch integrator fails to di    |
|    19 Jun 22 02:41:29    |
      From: nma@12000.org              On 6/19/2022 2:35 AM, Nasser M. Abbasi wrote:       > On 6/19/2022 1:30 AM, clicliclic@freenet.de wrote:       >>       >> ??????? ???????????? schrieb:       >>>       >>> I did know about it (and did try it), but %i was the problem.       >>       >       >> I have no luck either when I submit the order-5 integrand with sqrt(-1)       >> in place of %i to the FriCAS web interface currently running version       >> 1.3.7:       >>       >> unparse(integrate(x/(x^2 - 1/5 - 2*sqrt(-1)/5)/sqrt(x^3 - x),       >> x)::InputForm)       >>       >> There are 9 exposed and 6 unexposed library operations named -       >> having 2 argument(s) but none was determined to be applicable.       >> Use HyperDoc Browse, or issue       >> )display op -       >> to learn more about the available operations. Perhaps       >> package-calling the operation or using coercions on the arguments       >> will allow you to apply the operation.       >>       >> Cannot find a definition or applicable library operation named -       >> with argument type(s)       >> Polynomial(Fraction(Integer))       >> AlgebraicNumber       >>       >> Perhaps you should use "@" to indicate the required return type,       >> or "$" to specify which version of the function you need.       >>       >> Grrrmbl. Will version 1.3.8 do better?       >>       >> Martin.       >       >       > I just build the pre-release 1.3.8 from github on Linux and got this:       >       > setSimplifyDenomsFlag(true)       > r=integrate(x/((x^2 - ((1 + 2*sqrt(-1))/5))*sqrt(x^3 - x)), x);       > unparse(r::InputForm)       >       >       > "((4^(1/4))^3*((-2)*(-1)^(1/2)+11)^(1/4)*log(((((7566995918       507629394531250*x       > ^18+(-669388100504875183105468750)*x^16+126194208860397338       671875000*x^14+959       > 26225185394287109375000*x^12+(-156285241246223449707031250       )*x^10+86302682757       > 3776245117187500*x^8+(-33326447010040283203125000)*x^6+(-4       164457798004150390       > 625000)*x^4+3458932042121887207031250*x^2+3166496753692626       531250)*(-1)^(1/2)       > +((-52386894822120666503906250)*x^18+291038304567337036132       1250*x^16+11501833       > 79650115966796875000*x^14+(-2308748662471771240234375000)*       ^12+10368414223194       > 12231445312500*x^10+378187745809555053710937500*x^8+(-2865       678033828735351562       > 5000)*x^6+28498470783233642578125000*x^4+20470470190048217       7343750*x^2+(-5774       > 1999626159667968750)))*(4^(1/4))^2*(((-2)*(-1)^(1/2)+11)^(       /4))^2+((488944351       > 673126220703125000*x^17+3352761268615722656250000000*x^15+       -13653188943862915       > 039062500000)*x^13+12353062629699707031250000000*x^11+(-88       893800735473632812       > 50000)*x^9+(-3137230873107910156250000000)*x^7+74824690818       866210937500000*x^       > 5+7510185241699218750000000*x^3+(-505894422531127929687500       )*x)*(-1)^(1/2)+(1       > 676380634307861328125000000*x^17+(-67986547946929931640625       0000)*x^15+4079192       > 876815795898437500000*x^13+8519738912582397460937500000*x^       1+(-95494091510772       > 70507812500000)*x^9+1992255449295043945312500000*x^7+41273       362747192382812500       > 000*x^5+(-104635953903198242187500000)*x^3+128149986267089       437500000*x)))*(x^       > 3+(-1)*x)^(1/2)+(((128056854009628295898437500*x^19+(-5005       588385581970214843       > 7500)*x^17+9313225746154785156250000*x^15+1659616827964782       14843750000*x^13+(       > -1897476613521575927734375000)*x^11+5222782492637634277343       5000*x^9+139370560       > 646057128906250000*x^7+(-64030289649963378906250000)*x^5+3       043324947357177734       > 37500*x^3+152736902236938476562500*x)*(-1)^(1/2)+(23283064       65386962890625000*       > x^19+(-535510480403900146484375000)*x^17+17322599887847900       9062500000*x^15+(-       > 1598149538040161132812500000)*x^13+(-192597508430480957031       50000)*x^11+860676       > 169395446777343750000*x^9+(-301808118820190429687500000)*x       7+6645917892456054       > 687500000*x^5+5342066287994384765625000*x^3+(-141561031341       52734375000)*x))*4       > ^(1/4)*(((-2)*(-1)^(1/2)+11)^(1/4))^3+((582076609134674072       656250*x^20+(-3492       > 45965480804443359375000)*x^18+2005835995078086853027343750       x^16+(-32074749469       > 75708007812500000)*x^14+960472971200942993164062500*x^12+1       509409666061401367       > 18750000*x^10+(-1016844063997268676757812500)*x^8+13121962       473022460937500000       > *x^6+19775703549385070800781250*x^4+(-24065375328063964843       5000)*x^2+(-186264       > 5149230957031250))*(-1)^(1/2)+((-3201421350240707397460937       )*x^20+46566128730       > 7739257812500000*x^18+(-554719008505344390869140625)*x^16+       -16838312149047851       > 56250000000)*x^14+3611529245972633361816406250*x^12+(-1962       001617431640625000       > 00000)*x^10+(-26958063244819641113281250)*x^8+226378440856       33593750000000*x^6       > +(-32397918403148651123046875)*x^4+(-268220901489257812500       00)*x^2+1024454832       > 0770263671875))*(4^(1/4))^3*((-2)*(-1)^(1/2)+11)^(1/4)))/(       600000*x^20+(-3200       > 000)*x^18+4160000*x^16+(-3584000)*x^14+2380800*x^12+(-1193       84)*x^10+476160*x^       > 8+(-143360)*x^6+33280*x^4+(-5120)*x^2+512))+((-1)*(4^(1/4)       ^3*((-2)*(-1)^(1/2       > )+11)^(1/4)*log(((((75669959187507629394531250*x^18+(-6693       810050487518310546       > 8750)*x^16+1261942088603973388671875000*x^14+9592622518539       287109375000*x^12+       > (-1562852412462234497070312500)*x^10+863026827573776245117       87500*x^8+(-333264       > 47010040283203125000)*x^6+(-41164457798004150390625000)*x^       +34589320421218872       > 07031250*x^2+31664967536926269531250)*(-1)^(1/2)+((-523868       482212066650390625       > 0)*x^18+29103830456733703613281250*x^16+115018337965011596       796875000*x^14+(-2       > 308748662471771240234375000)*x^12+103684142231941223144531       500*x^10+378187745       > 809555053710937500*x^8+(-286556780338287353515625000)*x^6+       849847078323364257       > 8125000*x^4+2047047019004821777343750*x^2+(-57741999626159       67968750)))*(4^(1/       > 4))^2*(((-2)*(-1)^(1/2)+11)^(1/4))^2+((4889443516731262207       3125000*x^17+33527       > 61268615722656250000000*x^15+(-136531889438629150390625000       0)*x^13+1235306262       > 9699707031250000000*x^11+(-88289380073547363281250000)*x^9       (-3137230873107910       > 156250000000)*x^7+748246908187866210937500000*x^5+75101852       1699218750000000*x       > ^3+(-5058944225311279296875000)*x)*(-1)^(1/2)+(16763806343       7861328125000000*x       > ^17+(-6798654794692993164062500000)*x^15+40791928768157958       8437500000*x^13+85       > 19738912582397460937500000*x^11+(-954940915107727050781250       000)*x^9+199225544       > 9295043945312500000*x^7+412732362747192382812500000*x^5+(-       046359539031982421       > 87500000)*x^3+1281499862670898437500000*x)))*(x^3+(-1)*x)^       1/2)+((((-12805685       > 4009628295898437500)*x^19+500585883855819702148437500*x^17       (-9313225746154785       > 156250000)*x^15+(-1659616827964782714843750000)*x^13+18974       661352157592773437       > 5000*x^11+(-522278249263763427734375000)*x^9+(-13937056064       057128906250000)*x              [continued in next message]              --- 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