#19276: precision problem computing heights on elliptic curves
-------------------------+-------------------------------------------------
Reporter: | Owner:
cremona | Status: needs_review
Type: | Milestone: sage-6.9
defect | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
elliptic curves | Work issues:
Keywords: | Commit:
height precision | 3ea3fc73d85a9b50fb618f63c345bce415cf7e1a
Authors: John | Stopgaps:
Cremona |
Report Upstream: N/A |
Branch: |
u/cremona/19276 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by jdemeyer):
Instead of embedding into `RR`, embedding in `AAbar` and then coercing to
`RR` just works:
{{{
sage: K.<a> = NumberField(x^2-x-104)
sage: E = EllipticCurve([1, a - 1, 1, -816765673272*a - 7931030674178,
1478955604013312315*a + 14361086227143654561])
sage: D = E.discriminant()
sage: AAbar = AlgebraicRealField()
sage: phi = K.embeddings(AAbar)[0]
sage: RR(phi(D))
-4.32015718504111e-35
}}}
Using this looks like the right fix to me.
--
Ticket URL: <http://trac.sagemath.org/ticket/19276#comment:12>
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/d/optout.
