#14476: non-integral models can cause a bug in local_data for elliptic curves 
over
number fields
-------------------------------+--------------------------------------------
   Reporter:  wuthrich         |             Owner:  cremona   
       Type:  defect           |            Status:  new       
   Priority:  major            |         Milestone:  sage-5.10 
  Component:  elliptic curves  |          Keywords:  local_data
Work issues:                   |   Report Upstream:  N/A       
  Reviewers:                   |           Authors:            
  Merged in:                   |      Dependencies:            
   Stopgaps:                   |  
-------------------------------+--------------------------------------------
 This example was spotted by Dino Lorenzini:

 {{{
 sage: t = QQ['t'].0
 sage: K.<g> = NumberField(t^4 - t^3-3*t^2 - t +1)
 sage: x=-3/5*g^3 + 2/5*g^2 + 3/5*g + 4/5
 sage: y=1/15*g^3 - 3/5*g^2 + 3/5*g + 17/15
 sage: r = (x^2*y - x*y + y - 1) / (x^2*y - x)
 sage: s = (x*y - y + 1) / (x*y)
 sage: c = s*(r - 1)
 sage: b = c*r
 sage: E = EllipticCurve(K,[1-c,-b,-b,0,0])
 sage: E.local_data()
 }}}

 which causes a {{{TypeError}}} in {{{_reduce_local}}}.
 Tickets that may be linked to this are #11630 and #9410.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14476>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to