#5430: Coleman integrals of differential forms from different rings
--------------------------------+-------------------------------------------
 Reporter:  jen                 |       Owner:  robertwb  
     Type:  defect              |      Status:  new       
 Priority:  major               |   Milestone:  sage-3.4.2
Component:  algebraic geometry  |    Keywords:            
--------------------------------+-------------------------------------------

Comment(by roed):

 > The question is, should this be an error, or just work?
 >
 > {{{
 > sage: K = Qp(5, 10)
 > sage: a = K(1/250037); a
 > 3 + 4*5 + 3*5^2 + 3*5^3 + 5^4 + 5^5 + 5^6 + 5^7 + 4*5^8 + 4*5^9 +
 O(5^10)
 > sage: ZZ(a)
 > 9472973
 > sage: QQ(a)
 > Traceback (most recent call last):
 > ...
 > ValueError: Rational reconstruction of 9472973 (mod 9765625) does not
 exist.
 > }}}

 It seems like a valid error: 250037 is too large compared to 5^10.

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

Reply via email to