#11474: Elliptic curves should be unique parent structures
-----------------------------------+--------------------------
Reporter: SimonKing | Owner: cremona
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.2
Component: elliptic curves | Resolution:
Keywords: unique parent | Merged in:
Authors: Simon King | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------------+--------------------------
Comment (by sbesnier):
Considering the EC part, we already have almost what we want isn't it?
Let `E=EllipticCurve(whatever)`, we "only" have to:
* make `E` unique : it is already almost done by Simon's patch, although
this patch maintains the gens in `E`. Meanwhile, the files had been edited
for other reasons; will nevertheless the automatic tools work or might I
manually edit the files thanks to the diff in order to reuse Simon's work?
* turn `E(K)` into an actual group
* extend the support of `E.abelian_group(K)` when K is a number field
(and move the method in E(K)?)
* move `.rank()`, `.gens()` and other non-canonical methods/attribute to
`E.abelian_group(K)
John wrote:
>And as well as the easy map from the abstract group to the concrete point
set (using known generators) we must also provide the harder map in the
reverse direction, which is a form of elliptic logarithm.
I'm not sure to see the point. You would like to have the map `E(K) ->
E.abelian_group()` which calculate calculate the generators, and also the
map `E.abelian_group() -> E (or E(K)?)` which calculates the a-invariants
of E (or anything which determines E uniquely) from the generators?
--
Ticket URL: <http://trac.sagemath.org/ticket/11474#comment:18>
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.
