On 06/11/2013 09:44 PM, robin hankin wrote:
> OK thanks for this,  bug reported [at least, I think it is.   I
> couldn't see it on trac].
> 
>  Now what about this:
> 
> 
> sage: solve(sin(x) + cos(x) == cos(2*x),x,to_poly_solve=True)
> [x == 2*pi*z264, x == 2*pi*z268 + 1/6004799503160661*I - 355/452, x ==
> 2*pi*z266 + 1/1125899906842624*I - 355/226, x == 2*pi*z270 +
> 1/9007199254740992*I + 1065/452]
> 
> 
> After the first, the solutions are not actually solutions of the
> equation.  Is this reportable or have I misunderstood what solve() is
> supposed to do?

Just in case people hadn't spotted it, it also missed some solutions:
-pi/4, 3*pi/4 and -pi/2, plus 2*pi*integer.  And I think that is all of
them (even including complex solutions).

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


Reply via email to