Skip to content

Commit

Permalink
sagemathgh-37125: compute isogeny kernel polynomials from irreducible…
Browse files Browse the repository at this point in the history
… divisors or (possibly irrational) points

    
In this patch we implement Algorithms 3 and 4 from [this
paper](https://ia.cr/2023/106). Evidently, the necessity for such an
algorithm arises when converting from endomorphism-ring ideals to
isogenies.

One immediate application is that `isogenies_prime_degree_general()` can
be simplified, even with a small speedup:

```sage
sage: K.<i> = QuadraticField(-1)
sage: E = EllipticCurve(K,[0,0,0,1,0])
sage: %timeit E.isogenies_prime_degree(37)
````
Before: `2.39 s ± 3.31 ms per loop (mean ± std. dev. of 7 runs, 1 loop
each)`
After: `2.29 s ± 5.05 ms per loop (mean ± std. dev. of 7 runs, 1 loop
each)`

#sd123
    
URL: sagemath#37125
Reported by: Lorenz Panny
Reviewer(s): John Cremona
  • Loading branch information
Release Manager committed Jan 29, 2024
2 parents d8a5e02 + b65ba8d commit b5c6e5a
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit b5c6e5a

Please sign in to comment.