#4656: power series with zero p-adic coefficients
---------------------------+------------------------------------------------
 Reporter:  wuthrich       |       Owner:  was              
     Type:  defect         |      Status:  new              
 Priority:  minor          |   Milestone:  sage-3.2.1       
Component:  number theory  |    Keywords:  padic powerseries
---------------------------+------------------------------------------------
 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).
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4656>
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to