I have now a little bit improved the package of my polynomial and
rational fractions utilities over GiNaC (0.6.4)
It provides now gcd normalization, factor (square-free and rational
roots),
partfrac & integrate (assuming factor works on the denominator),
for example:
integrate '1/(x^4-1)^5'
returns
-1155/8192*log(1+x)-1155/4096*atan(x)+1155/8192*log(-1+x)+1/2048*(-893*x-1375*x^9+1755*x^5+385*x^13)*(-1+x^4)^(-4)
# Time for (integrate)0.04
You can retrieve and test it at
ftp://fourier.ujf-grenoble.fr/pub/hp48/giac.tgz
Bye,
Bernard Parisse