On Fri, Nov 15, 2013 at 10:58:58AM +0100, Jeroen Demeyer wrote: > On 2013-11-15 10:07, John Cremona wrote: > >I would not like to recommend to any mathematician to use a piece of > >software which, when asked to give the roots of (t-1)^2 over a field > My whole point was that the original poster *did not ask that question*. > > He asked for the roots of the polynomial > (1 + O(3^5))*t^2 + (1 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + O(3^5))*t + (1 > + O(3^5)) > which is not the same as asking for the roots of the polynomial > t^2 - 2*t + 1 >
Sorry but are you smoking bad stuff, sage claims your polynomial have zeros, which appears to contradict your claims: sage: Kz.<t>=Qp(3,5)[];pol=(1 + O(3^5))*t^2 + (1 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + O(3^5))*t + (1 + O(3^5)) sage: (pol(1),pol(1).is_zero()) (O(3^5), True) sage: pol.roots() [] -- 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. For more options, visit https://groups.google.com/groups/opt_out.