From 96561b332f35d1e9d56b190ce4a09221b779fb29 Mon Sep 17 00:00:00 2001 From: "Alex J. Best" Date: Fri, 23 Jul 2021 20:54:33 +0200 Subject: [PATCH] attempt to fix 32269 --- src/sage/schemes/elliptic_curves/isogeny_small_degree.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/sage/schemes/elliptic_curves/isogeny_small_degree.py b/src/sage/schemes/elliptic_curves/isogeny_small_degree.py index 8342d92ed34..85316c06ed1 100644 --- a/src/sage/schemes/elliptic_curves/isogeny_small_degree.py +++ b/src/sage/schemes/elliptic_curves/isogeny_small_degree.py @@ -2333,6 +2333,13 @@ def isogenies_prime_degree(E, l, minimal_models=True): [] sage: E.isogenies_prime_degree(73) # slower (2s) [] + + Test that :trac:`32269` is fixed. + + sage: K = QuadraticField(-11) + sage: E = EllipticCurve(K, [0,1,0,-117,-541]) + sage: E.isogenies_prime_degree(37) + """ if not l.is_prime(): raise ValueError("%s is not prime."%l) @@ -2352,7 +2359,7 @@ def isogenies_prime_degree(E, l, minimal_models=True): return isogenies_prime_degree_genus_plus_0(E,l, minimal_models=minimal_models) j = E.j_invariant() - if j in QQ: + if j in QQ and E.base_field() is QQ: j = QQ(j) if j in sporadic_j: return isogenies_sporadic_Q(E,l, minimal_models=minimal_models)