#13951: (non)archimedian_local_height broken for rational points on elliptic
curves
over Q
---------------------------------------------+------------------------------
Reporter: pbruin | Owner: cremona
Type: defect | Status: needs_review
Priority: major | Milestone: sage-5.10
Component: elliptic curves | Resolution:
Keywords: local heights | Work issues:
Report Upstream: N/A | Reviewers: John Cremona,
Peter Bruin
Authors: Peter Bruin, John Cremona | Merged in:
Dependencies: #12509, #13953, #14609 | Stopgaps:
---------------------------------------------+------------------------------
Changes (by {'newvalue': u'Peter Bruin, John Cremona', 'oldvalue': u'Peter
Bruin'}):
* reviewer: => John Cremona, Peter Bruin
* dependencies: #12509, #13953 => #12509, #13953, #14609
* author: Peter Bruin => Peter Bruin, John Cremona
Old description:
> Computing local heights uses functions that are only available when the
> base field is a NumberField, and not over the RationalField:
>
> {{{
> sage: E = EllipticCurve([0, 0, 0, -36, 0])
> sage: P = E(-3, 9)
> sage: P.archimedian_local_height()
> ...
> AttributeError: 'RationalField_with_category' object has no attribute
> 'places'
> sage: P.nonarchimedian_local_height()
> ...
> AttributeError: 'RationalField_with_category' object has no attribute
> 'factor'
> }}}
>
> Note: at the moment this bug only shows up for non-torsion points because
> of bug #13953 (asking for local heights of torsion points always returns
> 0, which is in general incorrect).
New description:
Computing local heights uses functions that are only available when the
base field is a NumberField, and not over the RationalField:
{{{
sage: E = EllipticCurve([0, 0, 0, -36, 0])
sage: P = E(-3, 9)
sage: P.archimedian_local_height()
...
AttributeError: 'RationalField_with_category' object has no attribute
'places'
sage: P.nonarchimedian_local_height()
...
AttributeError: 'RationalField_with_category' object has no attribute
'factor'
}}}
Note: at the moment this bug only shows up for non-torsion points because
of bug #13953 (asking for local heights of torsion points always returns
0, which is in general incorrect).
Apply: trac13951-local_heights.patch
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13951#comment:17>
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.
