Opened 10 years ago
Last modified 4 years ago
#7368 new enhancement
Further work on isogenies and endomorphisms of elliptic curves
Reported by: | wuthrich | Owned by: | cremona |
---|---|---|---|
Priority: | major | Milestone: | sage-wishlist |
Component: | elliptic curves | Keywords: | elliptic curves, isogeny, isogenies, endomorphism ring |
Cc: | weigandt, pbruin, sbesnier | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
Working on ticket #7096, I realised that there are many functionalities concerning morphisms of elliptic curves that are not implemented or implemented badly.
Here is a wish-list
- General isogenies, not only cyclic ones should be implemented. Possibly this could be done in a clever way, by having it internally factored into cyclic isogenies.
- Non seperable isogenies, i.e. Frobenii should be there too. See also #6413.
- One should be able to compose them -> see #16245
- Is there a way of constructing a (not necessarily normalized) isogeny knowing the degree and the domain and codomain ?
- There should be an addition for isogenies with the same domain and codomain.
- There should be an endomorphism_ring for ellliptic curves whose elements are isogenies.
- Similar automorphisms should give a group of isogenies.
Change History (5)
comment:1 Changed 8 years ago by
- Cc weigandt added
- Report Upstream set to N/A
comment:2 Changed 5 years ago by
- Cc pbruin added
comment:3 Changed 5 years ago by
- Description modified (diff)
comment:4 Changed 5 years ago by
- Cc sbesnier added
comment:5 Changed 4 years ago by
Note: See
TracTickets for help on using
tickets.
added