Opened 13 years ago

Last modified 5 weeks 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, lorenz Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by lorenz)

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. → #32744
  • Inseparable isogenies (e.g. Frobenii) should be possible too. → #33915 (See also #6413.)
  • One should be able to compose isogenies. → #16245, #32744
  • 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 elliptic curves whose elements are isogenies.
  • Similarly, automorphisms should give a group of isogenies.

Change History (8)

comment:1 Changed 11 years ago by weigandt

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

comment:2 Changed 8 years ago by pbruin

  • Cc pbruin added

comment:3 Changed 8 years ago by sbesnier

  • Description modified (diff)

comment:4 Changed 8 years ago by sbesnier

  • Cc sbesnier added

comment:5 Changed 7 years ago by adhalanay

added

comment:6 Changed 11 months ago by lorenz

  • Cc lorenz added

comment:7 Changed 8 months ago by lorenz

  • Description modified (diff)

comment:8 Changed 5 weeks ago by lorenz

  • Description modified (diff)
Note: See TracTickets for help on using tickets.