Skip to content

normalized models for isogeny codomains#42436

Open
yyyyx4 wants to merge 3 commits into
sagemath:developfrom
yyyyx4:public/isogeny_normalized_model
Open

normalized models for isogeny codomains#42436
yyyyx4 wants to merge 3 commits into
sagemath:developfrom
yyyyx4:public/isogeny_normalized_model

Conversation

@yyyyx4

@yyyyx4 yyyyx4 commented Jun 27, 2026

Copy link
Copy Markdown
Member

Sage can already compute a normalized isogeny given its domain, codomain, and degree. In this patch we add (recent variants of) two algorithms that are frequently used in the literature, but were previously missing in Sage:

  • Computing the codomain of a normalized isogeny given the domain, j‑invariant of codomain, and degree.
  • Computing all kernel polynomials of outgoing ℓ‑isogenies from a given curve.

@github-actions

github-actions Bot commented Jun 27, 2026

Copy link
Copy Markdown

Documentation preview for this PR (built with commit 4736036; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@yyyyx4 yyyyx4 force-pushed the public/isogeny_normalized_model branch from b9d9e0f to 464dbc9 Compare June 27, 2026 18:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant