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,233 of 10,432    |
|    Nasser M. Abbasi to clicliclic@freenet.de    |
|    Re: alarum: Risch integrator fails to di    |
|    19 Jun 22 02:35:19    |
      From: nma@12000.org              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(((((75669959187507629394531250*x        ^18+(-669388100504875183105468750)*x^16+126194208860397338867       875000*x^14+959        26225185394287109375000*x^12+(-1562852412462234497070312500)*       ^10+86302682757        3776245117187500*x^8+(-33326447010040283203125000)*x^6+(-4116       457798004150390        625000)*x^4+3458932042121887207031250*x^2+3166496753692626953       250)*(-1)^(1/2)        +((-52386894822120666503906250)*x^18+291038304567337036132812       0*x^16+11501833        79650115966796875000*x^14+(-2308748662471771240234375000)*x^1       +10368414223194        12231445312500*x^10+378187745809555053710937500*x^8+(-2865567       033828735351562        5000)*x^6+28498470783233642578125000*x^4+20470470190048217773       3750*x^2+(-5774        1999626159667968750)))*(4^(1/4))^2*(((-2)*(-1)^(1/2)+11)^(1/4       )^2+((488944351        673126220703125000*x^17+3352761268615722656250000000*x^15+(-1       653188943862915        039062500000)*x^13+12353062629699707031250000000*x^11+(-88289       800735473632812        50000)*x^9+(-3137230873107910156250000000)*x^7+74824690818786       210937500000*x^        5+7510185241699218750000000*x^3+(-5058944225311279296875000)*       )*(-1)^(1/2)+(1        676380634307861328125000000*x^17+(-67986547946929931640625000       0)*x^15+4079192        876815795898437500000*x^13+8519738912582397460937500000*x^11+       -95494091510772        70507812500000)*x^9+1992255449295043945312500000*x^7+41273236       747192382812500        000*x^5+(-104635953903198242187500000)*x^3+128149986267089843       500000*x)))*(x^        3+(-1)*x)^(1/2)+(((128056854009628295898437500*x^19+(-5005858       385581970214843        7500)*x^17+9313225746154785156250000*x^15+1659616827964782714       43750000*x^13+(        -1897476613521575927734375000)*x^11+5222782492637634277343750       0*x^9+139370560        646057128906250000*x^7+(-64030289649963378906250000)*x^5+3304       324947357177734        37500*x^3+152736902236938476562500*x)*(-1)^(1/2)+(23283064365       86962890625000*        x^19+(-535510480403900146484375000)*x^17+17322599887847900390       2500000*x^15+(-        1598149538040161132812500000)*x^13+(-192597508430480957031250       00)*x^11+860676        169395446777343750000*x^9+(-301808118820190429687500000)*x^7+       645917892456054        687500000*x^5+5342066287994384765625000*x^3+(-141561031341552       34375000)*x))*4        ^(1/4)*(((-2)*(-1)^(1/2)+11)^(1/4))^3+((582076609134674072265       250*x^20+(-3492        45965480804443359375000)*x^18+2005835995078086853027343750*x^       6+(-32074749469        75708007812500000)*x^14+960472971200942993164062500*x^12+1450       409666061401367        18750000*x^10+(-1016844063997268676757812500)*x^8+13121962547       022460937500000        *x^6+19775703549385070800781250*x^4+(-24065375328063964843750       0)*x^2+(-186264        5149230957031250))*(-1)^(1/2)+((-32014213502407073974609375)*       ^20+46566128730        7739257812500000*x^18+(-554719008505344390869140625)*x^16+(-1       838312149047851        56250000000)*x^14+3611529245972633361816406250*x^12+(-1962900       617431640625000        00000)*x^10+(-26958063244819641113281250)*x^8+226378440856933       93750000000*x^6        +(-32397918403148651123046875)*x^4+(-268220901489257812500000       *x^2+1024454832        0770263671875))*(4^(1/4))^3*((-2)*(-1)^(1/2)+11)^(1/4)))/(160       000*x^20+(-3200        000)*x^18+4160000*x^16+(-3584000)*x^14+2380800*x^12+(-1193984       *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+(-6693881       050487518310546        8750)*x^16+1261942088603973388671875000*x^14+9592622518539428       109375000*x^12+        (-1562852412462234497070312500)*x^10+863026827573776245117187       00*x^8+(-333264        47010040283203125000)*x^6+(-41164457798004150390625000)*x^4+3       589320421218872        07031250*x^2+31664967536926269531250)*(-1)^(1/2)+((-523868948       212066650390625        0)*x^18+29103830456733703613281250*x^16+115018337965011596679       875000*x^14+(-2        308748662471771240234375000)*x^12+103684142231941223144531250       *x^10+378187745        809555053710937500*x^8+(-286556780338287353515625000)*x^6+284       847078323364257        8125000*x^4+2047047019004821777343750*x^2+(-57741999626159667       68750)))*(4^(1/        4))^2*(((-2)*(-1)^(1/2)+11)^(1/4))^2+((4889443516731262207031       5000*x^17+33527        61268615722656250000000*x^15+(-13653188943862915039062500000)       x^13+1235306262        9699707031250000000*x^11+(-88289380073547363281250000)*x^9+(-       137230873107910        156250000000)*x^7+748246908187866210937500000*x^5+75101852416       9218750000000*x        ^3+(-5058944225311279296875000)*x)*(-1)^(1/2)+(16763806343078       1328125000000*x        ^17+(-6798654794692993164062500000)*x^15+40791928768157958984       7500000*x^13+85        19738912582397460937500000*x^11+(-954940915107727050781250000       )*x^9+199225544        9295043945312500000*x^7+412732362747192382812500000*x^5+(-104       359539031982421        87500000)*x^3+1281499862670898437500000*x)))*(x^3+(-1)*x)^(1/       )+((((-12805685        4009628295898437500)*x^19+500585883855819702148437500*x^17+(-       313225746154785        156250000)*x^15+(-1659616827964782714843750000)*x^13+18974766       352157592773437        5000*x^11+(-522278249263763427734375000)*x^9+(-13937056064605       128906250000)*x        ^7+64030289649963378906250000*x^5+(-3304332494735717773437500       *x^3+(-15273690        2236938476562500)*x)*(-1)^(1/2)+((-23283064365386962890625000       *x^19+535510480        403900146484375000*x^17+(-1732259988784790039062500000)*x^15+       598149538040161        132812500000*x^13+192597508430480957031250000*x^11+(-86067616       395446777343750              [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