translation errors from fricas to sage
reported at https://trac.sagemath.org/ticket/25628
Using Sage version 8.3.beta6
This one seems to be that there is no translation from fricas to sage. Is this due to the atan ?
sage: var('x a')
sage: integrate(1/(1+a*cos(x)),x,algorithm="fricas")
NotImplementedError: The translation of the FriCAS Expression "atan(((cos(x)+a)*((-1)*a^2+1)^(1/2))/((a^2+(-1))*sin(x)))/(((-1)*a^2+1)^(1/2)) to sage is not yet implemented.
And this one
sage: var('x a b')
sage: anti=integrate(1/(b*x^2+a),x,algorithm="fricas")
NotImplementedError: The translation of the FriCAS Expression "log(((b*x^2+(-1)*a)*((-1)*a*b)^(1/2)+2*a*b*x)/(b*x^2+a))/(2*((-1)*a*b)^(1/2)) to sage is not yet implemented.
The result of
looks like a list of 2 elements.