#12509: computation of height of point on elliptic curve over Q(sqrt(5)) is
WRONG
---------------------------------+------------------------------------------
Reporter: was | Owner: was
Type: defect | Status: new
Priority: critical | Milestone: sage-5.6
Component: number theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps: #12692
---------------------------------+------------------------------------------
Comment (by cremona):
I was a little hasty. There's no problem in the non-arch local height
being an exact log:
{{{
sage: P.nonarchimedian_local_height()
1/2*log(25)
sage: P.nonarchimedian_local_height(prec=53)
1.60943791243410
sage: RR(P.nonarchimedian_local_height())
1.60943791243410
}}}
is all correct. The problem is with this:
{{{
sage: P.archimedian_local_height()
-0.2206607955468278522013468194382
sage: P.archimedian_local_height(prec=53)
-0.252952751464
}}}
where the first is correct as this shows:
{{{
sage: P.archimedian_local_height()+ P.nonarchimedian_local_height(prec=53)
1.38877711688727
}}}
but the second is not.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12509#comment:6>
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.
