#5430: Coleman integrals of differential forms from different rings
--------------------------------+-------------------------------------------
Reporter: jen | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-3.4
Component: algebraic geometry | Keywords:
--------------------------------+-------------------------------------------
Comment(by robertwb):
The end of the traceback is
{{{
File "parent.pyx", line 276, in sage.structure.parent.Parent.__call__
(sage/structure/parent.c:3653)
File "coerce_maps.pyx", line 76, in
sage.structure.coerce_maps.DefaultConvertMap_unique._call_
(sage/structure/coerce_maps.c:2793)
File "coerce_maps.pyx", line 71, in sage.structure.coerce_maps._call_
(sage/structure/coerce_maps.c:2700)
File "rational.pyx", line 189, in sage.rings.rational.Rational.__init__
(sage/rings/rational.c:4233)
File "rational.pyx", line 312, in
sage.rings.rational.Rational.__set_value (sage/rings/rational.c:5261)
File "padic_generic_element.pyx", line 748, in
sage.rings.padics.padic_generic_element.pAdicGenericElement.rational_reconstruction
(sage/rings/padics/padic_generic_element.c:7584)
File "/Users/robert/sage/current/local/lib/python2.5/site-
packages/sage/rings/arith.py", line 1516, in rational_reconstruction
return ZZ(a).rational_reconstruction(m)
File "integer.pyx", line 1981, in
sage.rings.integer.Integer.rational_reconstruction
(sage/rings/integer.c:13544)
File "rational.pyx", line 2345, in
sage.rings.rational.pyrex_rational_reconstruction
(sage/rings/rational.c:15562)
File "gmp.pxi", line 144, in
sage.rings.rational.mpq_rational_reconstruction
(sage/rings/rational.c:3032)
ValueError: Rational reconstruction of 253015590 (mod 282475249) does not
exist.
}}}
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.
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5430#comment:1>
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
-~----------~----~----~----~------~----~------~--~---
