#6045: [with patch, with review, needs work] Computation of Heegner points
---------------------------+------------------------------------------------
Reporter: robertwb | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.1
Component: number theory | Keywords:
Reviewer: | Author:
Merged: |
---------------------------+------------------------------------------------
Comment(by cremona):
Replying to [comment:17 was]:
> > Lastly: I tried 873b1 and D=-11, which works fine, though the point
constructed
> > has height 14.785 but the heegner_point_height function returns double
that.
> > This might need a different ticket.
>
> Heegner points are naturally defined over K, and the height over K is
*double* the height over Q. In general, if P in E(Q) and L is a number
field, then {{{[L:Q]*h_Q(P) = h_L(P)}}}
OK, I stand corrected! I'm just used to computing rational Heegner
points (via the trace) so that had not occurred to me.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6045#comment:18>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
