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