#11905: Implement division_field() from elliptic curves
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner: cremona
Type: enhancement | Status: needs_review
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 | 05c57d2a031f34ac4d95ca5a13448c92206f0f41
Dependencies: #2217, #15626, | Stopgaps:
#11271 |
-------------------------------------+-------------------------------------
Comment (by cremona):
Looking good! Can we have an example where the X-division field equals
the division field, i.e. where the final step is not necessary? And also
an example (from the ones you give) showing that the splitting field of
the division polynomial has half the degree of the division field? I
think that this would be instructive to see in the reference manual. I
see that in the code for the final step you again call splitting field
with a quadratic; very efficient!
I think it says a lot for the good way in which you implemented splitting
fields that this now becomes so simple!
--
Ticket URL: <http://trac.sagemath.org/ticket/11905#comment:30>
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.
