Ticket #8248 (closed enhancement: fixed)

Opened 3 years ago

Last modified 3 years ago

Small improvement in checking for elliptic curve isogenies

Reported by: cremona Owned by: cremona
Priority: minor Milestone: sage-4.3.3
Component: elliptic curves Keywords: isogenies
Cc: wuthrich Work issues:
Report Upstream: N/A Reviewers: Chris Wuthrich
Authors: John Cremona Merged in: sage-4.3.3.alpha1
Dependencies: Stopgaps:

Description

When an isogeny is constructed from a kernel polynomial, by default (unless check=False) it is checked whether the given kernel polynomial divides the appropriate division polynomial. This is expensive when the degree is large (e.g. 163!).

We provide a small patch which does this checking more efficiently.

The example in the patch which now takes 20s, used to take many minutes.

Attachments

trac_8248-isogeny.patch Download (1.9 KB) - added by cremona 3 years ago.
Applies to 4.3.2

Change History

Changed 3 years ago by cremona

Applies to 4.3.2

comment:1 Changed 3 years ago by wuthrich

  • Status changed from new to needs_review
  • Reviewers set to Chris Wuthrich

Applies fine to 4.3.3.aplha0. All tests pass. (execpt heegner.py, which has nothing to do with this patch).

Thanks, John, for this improvement.

Chris.

comment:2 Changed 3 years ago by wuthrich

  • Status changed from needs_review to positive_review

comment:3 Changed 3 years ago by mvngu

  • Status changed from positive_review to closed
  • Resolution set to fixed
  • Merged in set to sage-4.3.3.alpha1
Note: See TracTickets for help on using tickets.