#7930: strange bug for elliptic curves over number fields
-------------------------------+--------------------------------------------
   Reporter:  wuthrich         |       Owner:  cremona   
       Type:  defect           |      Status:  new       
   Priority:  major            |   Milestone:  sage-4.3.1
  Component:  elliptic curves  |    Keywords:            
Work_issues:                   |      Author:            
   Upstream:  N/A              |    Reviewer:            
     Merged:                   |  
-------------------------------+--------------------------------------------

Comment(by wuthrich):

 More precisely it produces
 {{{
 Traceback (most recent call last):
   File "", line 1, in <module>

   File "/tmp/tmpJwKYhV/___code___.py", line 23, in <module>
     da = EK.local_data()
   File "", line 1, in <module>

   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_number_field.py", line 437, in
 local_data
     return [self._get_local_data(pr, proof) for pr in primes]
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_number_field.py", line 487, in
 _get_local_data
     self._local_data[P, proof] = EllipticCurveLocalData(self, P, proof)
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_local_data.py", line 159, in
 __init__
     self._Emin, ch, self._val_disc, self._fp, self._KS, self._cp,
 self._split = self._tate(proof)
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_local_data.py", line 704, in
 _tate
     cp = 1 + _pcubicroots(b, c, d)
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_local_data.py", line 536, in
 _pcubicroots
     return sum([rr[1] for rr in PolynomialRing(F, 'x')([d, c, b,
 1]).roots()],0)
   File "parent.pyx", line 538, in sage.structure.parent.Parent.__call__
 (sage/structure/parent.c:4956)
   File "coerce_maps.pyx", line 82, in
 sage.structure.coerce_maps.DefaultConvertMap_unique._call_
 (sage/structure/coerce_maps.c:3109)
   File "coerce_maps.pyx", line 77, in sage.structure.coerce_maps._call_
 (sage/structure/coerce_maps.c:3000)
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/rings/polynomial/polynomial_ring.py", line 312, in
 _element_constructor_
     return C(self, x, check, is_gen, construct=construct, **kwds)
   File "/usr/local/sage/local/lib/python2.6/site-
 packages/sage/rings/polynomial/polynomial_element_generic.py", line 604,
 in __init__
     Polynomial_generic_dense.__init__(self, parent, x, check, is_gen)
   File "polynomial_element.pyx", line 5111, in
 sage.rings.polynomial.polynomial_element.Polynomial_generic_dense.__init__
 (sage/rings/polynomial/polynomial_element.c:34951)
   File "residue_field.pyx", line 975, in
 sage.rings.residue_field.ResidueFiniteField_givaro.__call__
 (sage/rings/residue_field.c:9062)
 TypeError
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7930#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB
-- 
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