Closed
Description
I received an email from Pierre Arnoux saying that this is wrong:
sage: integrate (sqrt(1-4*sin(x)^2),x, algorithm='maxima')
-1/12*sin(3*x) + 1/4*sin(x)
Quoting what Pierre says: "Ce qui est visiblement faux: il y a un point d'inflexion horizontal en 0 alors que la fonction à intégrer vaut 1 en 0, ça ne peut pas être une primitive. Est-ce que vous avez une idée de ce qui ne marche pas?"
Other programs in Sage just can't solve this integral:
sage: integrate (sqrt(1-4*sin(x)^2),x, algorithm='fricas') # installed with "sage -i fricas"
integral(sqrt(4*cos(x)^2 - 3), x)
sage: integrate (sqrt(1-4*sin(x)^2),x, algorithm='giac')
integrate(sqrt(-4*sin(x)^2 + 1), x)
sage: integrate (sqrt(1-4*sin(x)^2),x, algorithm='sympy')
....does not halt...
CC: @kcrisman @jhpalmieri @slel
Component: calculus
Keywords: maxima, abs_integrate
Author: Frédéric Chapoton
Branch/Commit: 9406e0a
Reviewer: Sébastien Labbé
Issue created by migration from https://trac.sagemath.org/ticket/24117