We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f7fe82e commit 189f840Copy full SHA for 189f840
src/sage/schemes/elliptic_curves/hom.py
@@ -1181,9 +1181,9 @@ def push_subgroup(self, f):
1181
Given a irreducible divisor `f` of an `l`-division polynomial on the
1182
domain curve of this isogeny, return an irreducible polynomial `f'`
1183
such that the subgroup defined by `f` is mapped to the subgroup
1184
- defined by `f'`. See :meth:`minimal_polynomial()`.
+ defined by `f'` under the isogeny. See :meth:`minimal_polynomial()`.
1185
1186
- ALGORITHM: [EPSV2023]_, Algorithm 5 (``PushSubgroup'')
+ ALGORITHM: [EPSV2023]_, Algorithm 5 (``PushSubgroup``)
1187
1188
EXAMPLES::
1189
0 commit comments