And on the subject of using Fricas integrate in sagemath, I've just reported a new bug to sagemath due to interface issues. This causes few integrals to fail running Fricas integrate in sagemath, when they should not have failed because Fricas can do them. But this is out of my control.
Hopefully when these are fixed, will re-run CAS integration tests again for Fricas 1..3.8. It is due to translation of elliptic special function names. https://trac.sagemath.org/ticket/34058 --Nasser On Thursday, June 23, 2022 at 11:00:40 PM UTC-5 Nasser M. Abbasi wrote: > Thanks for version 1.3.8. > > I've only did partial test (less than 50%) but regression report generated > so far shows there are some integrals no longer evaluate in 1.3.8 but did > in 1.3.7. This could be due to bug fix. But thought to let you know just in > case. > > example 1 > ======== > using 1.3.7 > integrate((F^((-a*x+1)^(1/2)/(a*x+1)^(1/2)))^n/(-a^2*x^2+1),x); > gives > ((-1)*Ei((n*log(F)*((-1)*a*x+1)^(1/2)*(a*x+1)^(1/2))/(a*x+1)))/a > But does not evaluate (returns the input) in 1.3.8 > > example 2 > ======== > using 1.3.7 > integrate(F^(3*(-a*x+1)^(1/2)/(a*x+1)^(1/2))/(-a^2*x^2+1),x) > gives > ((-1)*Ei((3*log(F)*((-1)*a*x+1)^(1/2)*(a*x+1)^(1/2))/(a*x+1)))/a > But does not evaluate (returns the input) in 1.3.8 > > > example 3 > ======== > using 1.3.7 > integrate(F^(2*(-a*x+1)^(1/2)/(a*x+1)^(1/2))/(-a^2*x^2+1),x) > gives > ((-1)*Ei((2*log(F)*((-1)*a*x+1)^(1/2)*(a*x+1)^(1/2))/(a*x+1)))/a > But does not evaluate (returns the input) in 1.3.8 > > example 4 > ======== > using 1.3.7 > integrate(F^(2*(-a*x+1)^(1/2)/(a*x+1)^(1/2))/(-a^2*x^2+1),x) > gives > ((-1)*Ei((2*log(F)*((-1)*a*x+1)^(1/2)*(a*x+1)^(1/2))/(a*x+1)))/a > But does not evaluate (returns the input) in 1.3.8 > > > example 5 > ======== > using 1.3.7 > integrate(sec(d*x+c)*(a+b*sin(d*x+c))^(5/2),x) > gives this long output > > > [((3*b^2+(-6)*a*b+3*a^2)*((-1)*b+a)^(1/2)*log(((((-8)*b^3*cos(d*x+c)^2+(64*b > > ^3+(-224)*a*b^2+192*a^2*b))*sin(d*x+c)+((56*b^3+(-80)*a*b^2)*cos(d*x+c)^2+((- > > 64)*b^3+160*a*b^2+(-192)*a^2*b+128*a^3)))*((-1)*b+a)^(1/2)*(b*sin(d*x+c)+a)^( > > 1/2)+((((-28)*b^4+32*a*b^3)*cos(d*x+c)^2+(56*b^4+(-256)*a*b^3+448*a^2*b^2+(-2 > > 56)*a^3*b))*sin(d*x+c)+((-1)*b^4*cos(d*x+c)^4+(72*b^4+(-224)*a*b^3+160*a^2*b^ > > 2)*cos(d*x+c)^2+((-72)*b^4+256*a*b^3+(-320)*a^2*b^2+256*a^3*b+(-128)*a^4))))/ > > ((4*cos(d*x+c)^2+(-8))*sin(d*x+c)+((-1)*cos(d*x+c)^4+8*cos(d*x+c)^2+(-8))))+( > > (3*b^2+6*a*b+3*a^2)*(b+a)^(1/2)*log(((((-8)*b^3*cos(d*x+c)^2+(64*b^3+224*a*b^ > > 2+192*a^2*b))*sin(d*x+c)+(((-56)*b^3+(-80)*a*b^2)*cos(d*x+c)^2+(64*b^3+160*a* > > b^2+192*a^2*b+128*a^3)))*(b+a)^(1/2)*(b*sin(d*x+c)+a)^(1/2)+((((-28)*b^4+(-32 > > )*a*b^3)*cos(d*x+c)^2+(56*b^4+256*a*b^3+448*a^2*b^2+256*a^3*b))*sin(d*x+c)+(b > > ^4*cos(d*x+c)^4+((-72)*b^4+(-224)*a*b^3+(-160)*a^2*b^2)*cos(d*x+c)^2+(72*b^4+ > > 256*a*b^3+320*a^2*b^2+256*a^3*b+128*a^4))))/((4*cos(d*x+c)^2+(-8))*sin(d*x+c) > > +(cos(d*x+c)^4+(-8)*cos(d*x+c)^2+8)))+((-16)*b^2*sin(d*x+c)+(-112)*a*b)*(b*si > > n(d*x+c)+a)^(1/2)))/(24*d),((3*b^2+(-6)*a*b+3*a^2)*((-1)*b+a)^(1/2)*log(((((- > > 8)*b^3*cos(d*x+c)^2+(64*b^3+(-224)*a*b^2+192*a^2*b))*sin(d*x+c)+((56*b^3+(-80 > > )*a*b^2)*cos(d*x+c)^2+((-64)*b^3+160*a*b^2+(-192)*a^2*b+128*a^3)))*((-1)*b+a) > > ^(1/2)*(b*sin(d*x+c)+a)^(1/2)+((((-28)*b^4+32*a*b^3)*cos(d*x+c)^2+(56*b^4+(-2 > > 56)*a*b^3+448*a^2*b^2+(-256)*a^3*b))*sin(d*x+c)+((-1)*b^4*cos(d*x+c)^4+(72*b^ > > 4+(-224)*a*b^3+160*a^2*b^2)*cos(d*x+c)^2+((-72)*b^4+256*a*b^3+(-320)*a^2*b^2+ > > 256*a^3*b+(-128)*a^4))))/((4*cos(d*x+c)^2+(-8))*sin(d*x+c)+((-1)*cos(d*x+c)^4 > > +8*cos(d*x+c)^2+(-8))))+(((-6)*b^2+(-12)*a*b+(-6)*a^2)*((-1)*b+(-1)*a)^(1/2)* > > atan((((6*b^2+8*a*b)*sin(d*x+c)+((-1)*b^2*cos(d*x+c)^2+(2*b^2+8*a*b+8*a^2)))* > > ((-1)*b+(-1)*a)^(1/2)*(b*sin(d*x+c)+a)^(1/2))/((4*b^3+16*a*b^2+12*a^2*b)*sin( > > d*x+c)+(((-4)*b^3+(-4)*a*b^2)*cos(d*x+c)^2+(4*b^3+8*a*b^2+12*a^2*b+8*a^3))))+ > > ((-16)*b^2*sin(d*x+c)+(-112)*a*b)*(b*sin(d*x+c)+a)^(1/2)))/(24*d),((3*b^2+6*a > > *b+3*a^2)*(b+a)^(1/2)*log(((((-8)*b^3*cos(d*x+c)^2+(64*b^3+224*a*b^2+192*a^2* > > b))*sin(d*x+c)+(((-56)*b^3+(-80)*a*b^2)*cos(d*x+c)^2+(64*b^3+160*a*b^2+192*a^ > > 2*b+128*a^3)))*(b+a)^(1/2)*(b*sin(d*x+c)+a)^(1/2)+((((-28)*b^4+(-32)*a*b^3)*c > > os(d*x+c)^2+(56*b^4+256*a*b^3+448*a^2*b^2+256*a^3*b))*sin(d*x+c)+(b^4*cos(d*x > > +c)^4+((-72)*b^4+(-224)*a*b^3+(-160)*a^2*b^2)*cos(d*x+c)^2+(72*b^4+256*a*b^3+ > > 320*a^2*b^2+256*a^3*b+128*a^4))))/((4*cos(d*x+c)^2+(-8))*sin(d*x+c)+(cos(d*x+ > > c)^4+(-8)*cos(d*x+c)^2+8)))+(((-6)*b^2+12*a*b+(-6)*a^2)*(b+(-1)*a)^(1/2)*atan > > ((((6*b^2+(-8)*a*b)*sin(d*x+c)+(b^2*cos(d*x+c)^2+((-2)*b^2+8*a*b+(-8)*a^2)))* > > (b+(-1)*a)^(1/2)*(b*sin(d*x+c)+a)^(1/2))/((4*b^3+(-16)*a*b^2+12*a^2*b)*sin(d* > > x+c)+((4*b^3+(-4)*a*b^2)*cos(d*x+c)^2+((-4)*b^3+8*a*b^2+(-12)*a^2*b+8*a^3)))) > > +((-16)*b^2*sin(d*x+c)+(-112)*a*b)*(b*sin(d*x+c)+a)^(1/2)))/(24*d),(((-3)*b^2 > > +6*a*b+(-3)*a^2)*(b+(-1)*a)^(1/2)*atan((((6*b^2+(-8)*a*b)*sin(d*x+c)+(b^2*cos > > (d*x+c)^2+((-2)*b^2+8*a*b+(-8)*a^2)))*(b+(-1)*a)^(1/2)*(b*sin(d*x+c)+a)^(1/2) > > )/((4*b^3+(-16)*a*b^2+12*a^2*b)*sin(d*x+c)+((4*b^3+(-4)*a*b^2)*cos(d*x+c)^2+( > > (-4)*b^3+8*a*b^2+(-12)*a^2*b+8*a^3))))+(((-3)*b^2+(-6)*a*b+(-3)*a^2)*((-1)*b+ > > (-1)*a)^(1/2)*atan((((6*b^2+8*a*b)*sin(d*x+c)+((-1)*b^2*cos(d*x+c)^2+(2*b^2+8 > > *a*b+8*a^2)))*((-1)*b+(-1)*a)^(1/2)*(b*sin(d*x+c)+a)^(1/2))/((4*b^3+16*a*b^2+ > > 12*a^2*b)*sin(d*x+c)+(((-4)*b^3+(-4)*a*b^2)*cos(d*x+c)^2+(4*b^3+8*a*b^2+12*a^ > > 2*b+8*a^3))))+((-8)*b^2*sin(d*x+c)+(-56)*a*b)*(b*sin(d*x+c)+a)^(1/2)))/(12*d) > ] > But does not evaluate in 1.3.8 > > The following all timeout now when they did not on 1.3.7. I need to re-run > these again to make sure the timeout is due to version number change and > not anything else > > integrate((j*x^4+i*x^3+h*x^2+g*x+f)/(c*x^2+b*x+a)^(5/2),x,) > integrate((j*x^4+i*x^3+h*x^2+g*x+f)/(-c*x^2+b*x+a)^(5/2),x) > integrate(x*(e*x^3+d)/(c*x^6+b*x^3+a),x) > integrate((e*x^3+d)/(c*x^6+b*x^3+a),x) > integrate(x^2*(e*x^4+d)/(c*x^8+b*x^4+a),x) > integrate((e*x^4+d)/(c*x^8+b*x^4+a),x) > integrate((e*x)^m*(a+b*log(c*log(d*x)^p)),x) > > I will have a full regression report done when all CAS integration tests > completed. > > --Nasser > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/03a2c47f-ce83-4e9e-a1d7-7e047663cbbcn%40googlegroups.com.
