sagemathgh-41131: in elliptic-curve sum morphisms, use code marked as "use once sagemath#35936 is merged"
    
...since sagemath#35936 has indeed been merged.
    
URL: sagemath#41131
Reported by: Lorenz Panny
Reviewer(s):

Author: Release Manager

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():