On Thu, Nov 14, 2013 at 09:39:58AM +0000, John Cremona wrote: > On 14 November 2013 09:28, Georgi Guninski <gunin...@guninski.com> wrote: > > This appears a bug to me: > > > > sage: Kz.<t>=Qp(3,5)[];pol=t**2-2*t+1;ro=pol.roots(multiplicities=0);ro > > [] > > sage: pol(1) > > O(3^5) > > I agree -- even I can solve (t-1)^2=0. Perhaps the code does not > correctly do an initial squarefree division? > > John Cremona >
The factorization doesn't appear correct too: sage: Kz.<t>=Qp(3,5)[];pol=(t-1)**2;factor(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)) -- 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.
