> > A much shorter example is: > > > > integrate(sqrt(x+log(x)),x) > > > > to which Axiom replies: > > > > integrate: implementation incomplete (constant residues) > > > > What is f(x) = sqrt(x+log(x)) supposed to be an example of? Does f > has an antiderivative that can be expressed in terms of elementary > functions? If so, what is it?
Axiom has one of the most complete Risch implementations. Many of the original authors of the theory worked on the implementation. Axiom can almost do the Risch integral of the formula you posted. It fails with: integrate: implementation incomplete (constant residues) The failing subexpression sqrt(x+log(x)) falls into the unimplemented case. Replacing this subexpression by 'a' succeeds. Most systems do pattern matching and heuristics. Fateman had a server available that would "integrate" using these techniques. Tim --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---