id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,work_issues,upstream,reviewer,author,merged,dependencies,stopgaps
7368,Further work on isogenies and endomorphisms of elliptic curves,wuthrich,cremona,"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
 * 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.
",enhancement,new,major,sage-wishlist,elliptic curves,,"elliptic curves, isogeny, isogenies, endomorphism ring",weigandt,,N/A,,,,,