I'm opening a new thread for this newly added rsimp.spad.
I have tested with first 10k of Nasser's integrals, the recent
changes to integrator is positive:
It affects the result of a few percent integrals, almost all are
positive improvement.
Only a few regressions, in 3 classes:
1. not invertiable:
integrate(x^6/(2*x^5+3)^3,x)
2. third "impossible" in rsimp.spad:
integrate(1/(x^4+4*x^2+1),x)
3. fourth "impossible" in rsimp.spad:
This error happens when resolvent contains zero factor, it seems.
integrate(log(x^2+(-x^2+1)^(1/2)),x)
integrate(log(1+x*(x^2+1)^(1/2)),x)
integrate(atan(x*(-x^2+1)^(1/2)),x)
integrate(1/(x^4+3*x^2-1),x)
integrate(1/(x^4-3*x^2-1),x)
integrate(1/(x^2-1)^(1/2)/(x^(1/2)+(x^2-1)^(1/2))^2,x)
integrate((x^(1/2)-(x^2-1)^(1/2))^2/(-x^2+x+1)^2/(x^2-1)^(1/2),x)
- Qian
--
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/e6b55a97-af7d-41c9-bffb-11ec88f38660%40gmail.com.
