#11474: Elliptic curves should be unique parent structures
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner: cremona
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.3
Component: elliptic curves | Resolution:
Keywords: unique parent | Merged in:
Authors: Simon King | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/defeo/ticket/11474 | 8cbb73e266096e02efc917545aab36d067b7e063
Dependencies: #10665, #16317 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by pbruin):
* dependencies: => #10665, #16317
Comment:
I have been working on a branch that makes elliptic curves unique using
`UniqueFactory`. It simultaneously cleans up the elliptic curve
construction code and the relation of Sage elliptic curves to the data in
Cremona's database.
My approach removes the need for a separate "database curve" attached to
an elliptic curve over '''Q'''. With my branch, an elliptic curve
constructed from the database is ''identical'' to the same curve
constructed using Weierstrass coefficients. Moreover, the curves returned
by `E.database_curve()` and `E.minimal_model()` are now identical, and
both of them are identical to ''E'' if ''E'' is already in canonical
minimal form.
I have to add some documentation and will upload my branch soon. There
are unfortunately two remaining doctest failures, which are manifestations
of #10665 and #16317.
--
Ticket URL: <http://trac.sagemath.org/ticket/11474#comment:39>
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.
