#11905: Remove _splitting_field() from elliptic curves
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner: cremona
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.1
Component: elliptic curves | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/ticket/11905 | 810ceecec7f6d507c5392fe2f2d00af18778f473
Dependencies: #2217, #15626, | Stopgaps:
#11271 |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:19 cremona]:
> I know that this is not yet marked as ready for review, but I did look
at the code anyway. One minor remark: after adjoining all the
x-coordinates of the p-division points, *either* you have the full
division field already, i.e. you have all the y-coordinates, *or* you have
none, i.e. you have none of the y-coordinates. This could be used,
possibly, to simplify that last part of the division field code. But it
is not clear to me that there is a quicker way of determining that final
quadratic extension than picking any of the x-coordinates of a p-division
point and solving for y.
Not that I don't believe you, but do you have a reference for this? At
least I could add it as a comment in the code.
--
Ticket URL: <http://trac.sagemath.org/ticket/11905#comment:20>
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.