#5499: [with patch; needs work] Wrong precision when creating p-adic field
element
---------------------------+------------------------------------------------
Reporter: kedlaya | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.4.2
Component: number theory | Keywords:
---------------------------+------------------------------------------------
Comment(by mabshoff):
This patch causes many doctest failures:
{{{
sage -t -long
devel/sage/sage/schemes/elliptic_curves/padic_lseries.py # 1 doctests
failed
sage -t -long
devel/sage/sage/schemes/elliptic_curves/ell_rational_field.py # 1 doctests
failed
sage -t -long
devel/sage/sage/schemes/elliptic_curves/ell_tate_curve.py # 1 doctests
failed
sage -t -long devel/sage/doc/fr/tutorial/tour_polynomial.rst # 1
doctests failed
sage -t -long
devel/sage/sage/schemes/elliptic_curves/formal_group.py # 8 doctests
failed
sage -t -long devel/sage/doc/en/tutorial/tour_polynomial.rst # 1
doctests failed
sage -t -long
devel/sage/sage/rings/laurent_series_ring_element.pyx # 48 doctests failed
sage -t -long devel/sage/sage/rings/laurent_series_ring.py # 3
doctests failed
sage -t -long devel/sage/sage/rings/big_oh.py # 2 doctests failed
sage -t -long devel/sage/sage/schemes/elliptic_curves/padics.py #
Segfault
}}}
The last seems to get very slow, i.e. only the last step in the following
computation
{{{
Trying:
E = EllipticCurve('37a')###line 585:_sage_ >>> E =
EllipticCurve('37a')
Expecting nothing
ok
Trying:
E.is_supersingular(Integer(3))###line 586:_sage_ >>>
E.is_supersingular(3)
Expecting:
True
ok
Trying:
h = E.padic_height(Integer(3), Integer(5))###line 588:_sage_ >>> h
= E.padic_height(3, 5)
Expecting nothing
ok
Trying:
h(E.gens()[Integer(0)])###line 589:_sage_ >>> h(E.gens()[0])
Expecting:
(2*3 + 2*3^2 + 3^3 + 2*3^4 + 2*3^5 + O(3^6), 3^2 + 3^3 + 3^4 + 3^5 +
O(3^7))
}}}
takes more than 3 minutes CPU time on sage.math.
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5499#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
