#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.11
Component: elliptic curves | Resolution:
Keywords: local heights | Merged in:
Authors: Peter Bruin, John | Reviewers: John Cremona, Peter
Cremona | Bruin
Report Upstream: N/A | Work issues:
Branch: | Dependencies: #12509, #13953,
Stopgaps: | #14609
-------------------------------------+-------------------------------------
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).
>
> Apply: [attachment:trac13951-local_heights.patch],
> [attachment:trac13951-local_heights_2.patch],
> [attachment:trac13951-docstring_raw.patch]
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: [attachment:trac13951-local_heights.patch],
[attachment:trac13951-local_heights_2.patch]
--
Comment (by pbruin):
The last patch wasn't necessary, see the comments at #14746.
Patchbot: apply trac13951-local_heights.patch,
trac13951-local_heights_2.patch
--
Ticket URL: <http://trac.sagemath.org/ticket/13951#comment:32>
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.
For more options, visit https://groups.google.com/groups/opt_out.
