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 sbesnier)

Working on ticket #7096, I realised that there are many functionalities concerning morphisms of elliptic curves that are not implemented or implemented badly.

See also #6887, and #7262.

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 9 years ago by weigandt

  • Cc weigandt added
  • Report Upstream set to N/A

comment:2 Changed 6 years ago by pbruin

  • Cc pbruin added

comment:3 Changed 6 years ago by sbesnier

  • Description modified (diff)

comment:4 Changed 6 years ago by sbesnier

  • Cc sbesnier added

comment:5 Changed 4 years ago by adhalanay

added

Note: See TracTickets for help on using tickets.