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