>
> I am confused. How can fricas outperform mathematica if it is only suited 
> for elementary integration?


I meant the term in the technical sense:

 http://en.wikipedia.org/wiki/Nonelementary_integral

As far as I know (but I may well be mistaken, I'm not an expert in this 
area), FriCAS has the most complete implementation of the Risch algorithm. 
 This means, besides bugs and nonimplemented branches, if FriCAS cannot do 
the integral, this is a proof that it has no elementary solution.

Beware however, that it has bugs and nonimplemented branches.  As I 
mentioned, Waldek is continuously improving the implementation, which I 
find quite notable, since it is hard work and hardly recognised.

Martin

A famous example is

integrate(x/sqrt(x^4+10*x^2+-96*x-71),x)

which Mathematica won't do, although it is elementary, i.e., has a solution 
in terms of elementary functions:

log((x^6+15*x^4+-80*x^3+27*x^2+-528*x+781)*(x^4+10*x^2+-96*x+-71)^(1/2)+(x^8
+20*x^6+-128*x^5+54*x^4+-1408*x^3+3124*x^2+10001))/8

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to