Le samedi 2 mars 2013 17:00:15 UTC+1, Emmanuel Charpentier a écrit :
[ An idiocy ... ]
[ Snip... ]
> <p>Since s1 is irst-degree equation in t, this is the only real
> nonnegative maximum (it is easy to show that there is no negative
> maximum).</p>
> <p>Now, try brute force via the to_poly_solve solver :</p>
> sage: s2=solve(dg==0, t, to_poly_solve=True)
> sage: s2
> [t == 10*I*pi + 20*I*pi*z87 + 5/2*log(5), t == -5*I*pi + 20*I*pi*z91 +
> 5/2*log(5), t == 20*I*pi*z89 + 5/2*log(5), t == 5*I*pi + 20*I*pi*z93 +
> 5/2*log(5)]
> <p>But there is a problem : all these solutions are strictly complex (nonzero
> imaginary part). the to_poly_solve solver misses the only real root of e1...
> This is a Maxima bug.</p>
>
> Here lies the idiocy : The third solution *is* real for z89=0, and is
equal to the real root found supra... I missed that : I've become worse and
worse at mental computations. Senility onset ?*
Apologies...
Emanuel Charpentier
--
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.
