rename "Starks" algorithm to Stark

Author: yyyyx4

src/sage/schemes/elliptic_curves/ell_curve_isogeny.py

@@ -3075,7 +3075,7 @@ def _composition_impl(left, right):
         return NotImplemented
 
 
-def compute_isogeny_starks(E1, E2, ell):
+def compute_isogeny_stark(E1, E2, ell):
     r"""
     Return the kernel polynomial of an isogeny of degree ``ell``
     from ``E1`` to ``E2``.
@@ -3100,7 +3100,7 @@ def compute_isogeny_starks(E1, E2, ell):
 
     ALGORITHM:
 
-    This function uses Starks' algorithm as presented in Section 6.2
+    This function uses Stark's algorithm as presented in Section 6.2
     of [BMSS2006]_.
 
     .. NOTE::
@@ -3111,22 +3111,22 @@ def compute_isogeny_starks(E1, E2, ell):
 
     EXAMPLES::
 
-        sage: from sage.schemes.elliptic_curves.ell_curve_isogeny import compute_isogeny_starks, compute_sequence_of_maps
+        sage: from sage.schemes.elliptic_curves.ell_curve_isogeny import compute_isogeny_stark, compute_sequence_of_maps
 
         sage: E = EllipticCurve(GF(97), [1,0,1,1,0])
         sage: R.<x> = GF(97)[]; f = x^5 + 27*x^4 + 61*x^3 + 58*x^2 + 28*x + 21
         sage: phi = EllipticCurveIsogeny(E, f)
         sage: E2 = phi.codomain()
         sage: (isom1, isom2, E1pr, E2pr, ker_poly) = compute_sequence_of_maps(E, E2, 11)
-        sage: compute_isogeny_starks(E1pr, E2pr, 11)
+        sage: compute_isogeny_stark(E1pr, E2pr, 11)
         x^10 + 37*x^9 + 53*x^8 + 66*x^7 + 66*x^6 + 17*x^5 + 57*x^4 + 6*x^3 + 89*x^2 + 53*x + 8
 
         sage: E = EllipticCurve(GF(37), [0,0,0,1,8])
         sage: R.<x> = GF(37)[]
         sage: f = (x + 14) * (x + 30)
         sage: phi = EllipticCurveIsogeny(E, f)
         sage: E2 = phi.codomain()
-        sage: compute_isogeny_starks(E, E2, 5)
+        sage: compute_isogeny_stark(E, E2, 5)
         x^4 + 14*x^3 + x^2 + 34*x + 21
         sage: f**2
         x^4 + 14*x^3 + x^2 + 34*x + 21
@@ -3136,7 +3136,7 @@ def compute_isogeny_starks(E1, E2, ell):
         sage: f = x
         sage: phi = EllipticCurveIsogeny(E, f)
         sage: E2 = phi.codomain()
-        sage: compute_isogeny_starks(E, E2, 2)
+        sage: compute_isogeny_stark(E, E2, 2)
         x
     """
     K = E1.base_field()
@@ -3182,6 +3182,9 @@ def compute_isogeny_starks(E1, E2, ell):
     qn /= qn.leading_coefficient()
     return qn
 
+from sage.misc.superseded import deprecated_function_alias
+compute_isogeny_starks = deprecated_function_alias(34871, compute_isogeny_stark)
+
 def split_kernel_polynomial(poly):
     r"""
     Obsolete internal helper function formerly used by
@@ -3222,7 +3225,7 @@ def split_kernel_polynomial(poly):
     from sage.misc.misc_c import prod
     return prod([p for p,e in poly.squarefree_decomposition()])
 
-def compute_isogeny_kernel_polynomial(E1, E2, ell, algorithm="starks"):
+def compute_isogeny_kernel_polynomial(E1, E2, ell, algorithm="stark"):
     r"""
     Return the kernel polynomial of an isogeny of degree ``ell``
     from ``E1`` to ``E2``.
@@ -3235,7 +3238,7 @@ def compute_isogeny_kernel_polynomial(E1, E2, ell, algorithm="starks"):
 
     - ``ell``       -- the degree of an isogeny from ``E1`` to ``E2``
 
-    - ``algorithm`` -- currently only ``"starks"`` (default) is implemented
+    - ``algorithm`` -- currently only ``"stark"`` (default) is implemented
 
     OUTPUT:
 
@@ -3277,8 +3280,8 @@ def compute_isogeny_kernel_polynomial(E1, E2, ell, algorithm="starks"):
         sage: f = (x + 10) * (x + 12) * (x + 16)
         sage: phi = EllipticCurveIsogeny(E, f)
         sage: E2 = phi.codomain()
-        sage: from sage.schemes.elliptic_curves.ell_curve_isogeny import compute_isogeny_starks
-        sage: ker_poly = compute_isogeny_starks(E, E2, 7); ker_poly
+        sage: from sage.schemes.elliptic_curves.ell_curve_isogeny import compute_isogeny_stark
+        sage: ker_poly = compute_isogeny_stark(E, E2, 7); ker_poly
         x^6 + 2*x^5 + 20*x^4 + 11*x^3 + 36*x^2 + 35*x + 16
         sage: ker_poly.factor()
         (x + 10)^2 * (x + 12)^2 * (x + 16)^2
@@ -3287,9 +3290,13 @@ def compute_isogeny_kernel_polynomial(E1, E2, ell, algorithm="starks"):
         sage: poly.factor()
         (x + 10) * (x + 12) * (x + 16)
     """
-    if algorithm != "starks":
-        raise NotImplementedError
-    return compute_isogeny_starks(E1, E2, ell).radical()
+    if algorithm == 'starks':
+        from sage.misc.superseded import deprecation
+        deprecation(34871, 'The "starks" algorithm is being renamed to "stark".')
+        algorithm = 'stark'
+    if algorithm != "stark":
+        raise NotImplementedError(f'unknown algorithm {algorithm}')
+    return compute_isogeny_stark(E1, E2, ell).radical()
 
 def compute_intermediate_curves(E1, E2):
     r"""