-
-
Notifications
You must be signed in to change notification settings - Fork 405
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gh-37242: Improved algorithm choice for isogeny computation
Improved the logic for algorithm choice in `EllipticCurve_field.isogeny()`: - if we have multiple points, `factored` is used; - if the order is known and composite, `factored` is used; - if the order is known and (pseudo-)prime, we chose between the traditional Velù formulae and Velù-sqrt, depending on a parameter; this parameter may be supplied by the user with the `velu_sqrt_bound` argument, and if `None` a global parameter is used (see below); - in all the other cases we fall back to the traditional isogeny algorithm. The new `velu_sqrt_bound`: - can be supplied as a parameter when calling `.isogeny()`; - if supplied, is recursively passed to all calls to `factored`, such that each single isogeny computation has the same bound; - if not supplied, a global value is used instead; this is stored in the object `_velu_sqrt_bound` from `sage.schemes.elliptic_curves.hom_velusqrt`, and is initially set to 1000 (due to empirical observations) but can be manually set at runtime by the user #sd123 URL: #37242 Reported by: Riccardo Invernizzi Reviewer(s): Giacomo Pope, grhkm21, Riccardo Invernizzi
- Loading branch information
Showing
6 changed files
with
238 additions
and
41 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.