While playing with ticket #10480 I have found a grey area in the
representation of power series
{{{
sage: K.<w> = Qp(3)[[]]
sage: f = 3^2*w + O(w^3)
sage: g = O(3)*w
sage: fg = f*g
sage: fg
0
sage: fg == 0
False
sage: fg.polynomial()
(O(3^3))*w^2
sage: fg.prec()
+Infinity
}}}
It is always worthy to point that using f.is_zero() or f==0 may have
unexpected results when using p-adics or power series in Sage but the above
looks confusing. Moreover, I would expect to get precision 4 in this
product.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
