documentation tweaks

Author: yyyyx4

src/sage/schemes/elliptic_curves/hom.py

@@ -1132,10 +1132,10 @@ def matrix_on_subgroup(self, domain_gens, codomain_gens=None):
 
     def minimal_polynomial(self):
         r"""
-        Return a minimal polynomial of this isogeny, as defined in
-        [EPSV2023]_, Definition 15: That is, some polynomial `f`
-        such that the points on the domain curve whose `x`-coordinates
-        are roots of `f` generate the kernel of this isogeny.
+        Return a minimal polynomial of the kernel subgroup of this isogeny, as
+        defined in [EPSV2023]_, Definition 15: That is, some polynomial `f` such
+        that the points on the domain curve whose `x`-coordinates are roots of `f`
+        generate the kernel of this isogeny.
 
         .. SEEALSO::
 
@@ -1178,8 +1178,8 @@ def minimal_polynomial(self):
 
     def push_subgroup(self, f):
         r"""
-        Given the minimal polynomial (see :meth:`minimal_polynomial`)
-        of a subgroup `G` of the domain of this isogeny, return a minimal
+        Given a minimal polynomial (see :meth:`minimal_polynomial`) of a
+        subgroup `G` of the domain curve of this isogeny, return a minimal
         polynomial of the image of `G` under this isogeny.
 
         ALGORITHM: [EPSV2023]_, Algorithm 5 (``PushSubgroup``)

src/sage/schemes/elliptic_curves/hom_composite.py

@@ -934,9 +934,9 @@ def inseparable_degree(self):
 
     def push_subgroup(self, f):
         r"""
-        Given the minimal polynomial (see :meth:`~EllipticCurveHom.minimal_polynomial`)
-        of a subgroup `G` of the domain of this isogeny, return a minimal polynomial of
-        the image of `G` under this isogeny.
+        Given a minimal polynomial (see :meth:`~EllipticCurveHom.minimal_polynomial`)
+        of a subgroup `G` of the domain curve of this isogeny, return a minimal polynomial
+        of the image of `G` under this isogeny.
 
         ALGORITHM: iterative :meth:`EllipticCurveHom.push_subgroup()`