diff --git a/src/sage/schemes/elliptic_curves/hom_sum.py b/src/sage/schemes/elliptic_curves/hom_sum.py index 50f03d6d761..2cae7eb07f5 100644 --- a/src/sage/schemes/elliptic_curves/hom_sum.py +++ b/src/sage/schemes/elliptic_curves/hom_sum.py @@ -269,8 +269,7 @@ def to_isogeny_chain(self): ker.append(P) continue -# F = self.domain().division_field(l**m) #FIXME this can be used once #35936 is done; workaround below - F = self.domain().division_polynomial(l**m).splitting_field('X').extension(2,'Y') + F = self.domain().division_field(l**m) P,Q = self.domain().change_ring(F).torsion_basis(l**m) if self.is_endomorphism():