#4656: [with patch, positive review] power series with zero p-adic coefficients
---------------------------+------------------------------------------------
Reporter: wuthrich | Owner: was
Type: defect | Status: new
Priority: minor | Milestone: sage-3.4.1
Component: number theory | Keywords: padic powerseries
---------------------------+------------------------------------------------
Changes (by wuthrich):
* milestone: sage-3.4.2 => sage-3.4.1
Old description:
> The following _repr_ does not look good to me
>
> {{{
> sage: R.<T> = Qp(5,5)[[]]
> sage: O(5^3)*T
> 0
> sage: 1+O(5^3)*T
> 1 + O(5^5) + O(5^3)*T
> }}}
>
> But that is due to
> {{{
> sage: s= O(5^3)*T
> sage: s.is_zero()
> True
> sage: s == R(0)
> False
> }}}
>
> This I consider to be a bug according to the docstring of s.is_zero?
> saying
> {{{
> Return True if self equals self.parent()(0).
> }}}
New description:
The following _repr_ does not look good to me
{{{
sage: R.<T> = Qp(5,5)[[]]
sage: O(5^3)*T
0
sage: 1+O(5^3)*T
1 + O(5^5) + O(5^3)*T
}}}
But that is due to
{{{
sage: s= O(5^3)*T
sage: s.is_zero()
True
sage: s == R(0)
False
}}}
This I consider to be a bug according to the docstring of s.is_zero?
saying
{{{
Return True if self equals self.parent()(0).
}}}
--
Comment:
Looks good to me and passes all tests. I changed the patch as the
orinigally posted patch does not apply against sage 3.4. Thanks!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4656#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
