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,135 of 10,432    |
|    oldk1331@gmail.com to All    |
|    Re: Rubi 4.9.2 do not integrate Timofeev    |
|    18 Aug 16 04:44:00    |
      Off topic a little:              First, I appreciate your effort to compile this       "Computer Algebra Independent Integration Tests".              However, I have a small advice for you:              Could you mark a test which returns non-elementary result       as "half-solved" if there exists elementary results?              Take this #319 as an example:              There are elementary results for this #319 test, Timofeev's       book page 194 has one elementary result.              Rubi's result used to contain F1 function, I consider such       result as not "fully solved", just "half-solved".              So I'd like to see there's a third state other than "passed"       and "failed", that'll reflect each system's strength more       accurately.              It should be simple: write a function to scan its argument       for non-elementary function, compare the difference       between optimal antiderivative and CAS's result.              FriCAS recently can solve this integral, the result is long,       elementary and correct.              You can verify (in MMA) by:              y=(2*3^(1/2)*Log[((3*x+3)*(3^(1/3))^2*((x^3+3*x^2+3*x+3)^(1/3))^2+((-9)*       x^2+(-18)*x+(-9))*(x^3+3*x^2+3*x+3)^(1/3)+(2*x^3+6*x^2+6*x)*3^(1/3))/(       x^3+3*x^2+3*x)]+((-1)*3^(1/2)*Log[((63*x^4+252*x^3+378*x^2+270*x+81)*(       (x^3+3*x^2+3*x+3)^(1/3))^2+(45*x^5+225*x^4+450*x^3+486*x^2+297*x+81)*3       ^(1/3)*(x^3+3*x^2+3*x+3)^(1/3)+(31*x^6+186*x^5+465*x^4+666*x^3+603*x^2       +324*x+81)*(3^(1/3))^2)/(x^6+6*x^5+15*x^4+18*x^3+9*x^2)]+(6*ArcTan[((63       *x^4+252*x^3+378*x^2+270*x+81)*((x^3+3*x^2+3*x+3)^(1/3))^2+(63*x^5+315*       x^4+630*x^3+648*x^2+351*x+81)*3^(1/3)*(x^3+3*x^2+3*x+3)^(1/3)+(38*x^6+228       *x^5+570*x^4+801*x^3+693*x^2+351*x+81)*(3^(1/3))^2)/((7*x^6+42*x^5+105*x^       4+135*x^3+90*x^2+27*x)*3^(1/2)*(3^(1/3))^2)]+6*ArcTan[((18*x^2+36*x+18)*3       ^(1/2)*(x^3+3*x^2+3*x+3)^(1/3)+(5*x^3+15*x^2+15*x+9)*3^(1/2)*3^(1/3))/((27       *x^3+81*x^2+81*x+27)*3^(1/3))])))/(18*3^(1/2)*3^(1/3))              Simplify[D[y,x]-1/((3*x + 3*x^2 + x^3)*(3 + 3*x + 3*x^2 + x^3)^(1/3))]              --- 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