#8498: bug in has_good_reduction for a point on an elliptic curve over a number
field
-------------------------------+--------------------------------------------
   Reporter:  wuthrich         |       Owner:  cremona   
       Type:  defect           |      Status:  new       
   Priority:  major            |   Milestone:  sage-4.3.4
  Component:  elliptic curves  |    Keywords:            
     Author:                   |    Upstream:  N/A       
   Reviewer:                   |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------

Comment(by wuthrich):

 More precisely, I get the error

 {{{
 /home/pmzcw/prog/sage/local/lib/python2.6/site-
 packages/sage/schemes/elliptic_curves/ell_point.pyc in
 has_good_reduction(self, P)
    1554         F = Emin.defining_polynomial()
    1555         for v in F.variables():
 -> 1556             if F.derivative(v)(xyz).valuation(P) == 0:
    1557                 return True
    1558         return False

 /home/pmzcw/prog/sage/local/lib/python2.6/site-
 packages/sage/structure/element.so in
 sage.structure.element.Element.__getattr__
 (sage/structure/element.c:2743)()

 /home/pmzcw/prog/sage/local/lib/python2.6/site-
 packages/sage/structure/parent.so in
 sage.structure.parent.getattr_from_other_class
 (sage/structure/parent.c:2844)()

 /home/pmzcw/prog/sage/local/lib/python2.6/site-
 packages/sage/structure/parent.so in
 sage.structure.parent.raise_attribute_error
 (sage/structure/parent.c:2611)()

 AttributeError:
 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular'
 object has no attribute 'valuation'
 }}}

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