wrong answer from solve?
var('t')
test3 = -4*cos(t)^4 + 4*cos(t)^2 - 1
sage: solve(test3==0,t)
[]When actually the equation is equivalent to (cos(t))^2 = 1/2 and it does have solutions.
add a comment
So then, if solve returns [], that does not mean "there are no solutions". It means, "I didn't find any solutions". Similarly, if it does return a list of solutions, I guess that means "Here are the solutions I found", rather than, "Here are all the solutions." If this is the case, the documentation should say so up front. It says, "if there are no solutions it returns an empty list" but says nothing about the converse.
I think it does say something along these lines when it talks about to_poly_solve, but we would welcome specific suggestions for how to improve the documentation, for sure!
