fix doctest failures

sagemath · Oct 17, 2022 · be6aedc · be6aedc
1 parent 230019e
commit be6aedc
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 5 deletions.
diff --git a/src/sage/schemes/elliptic_curves/hom_scalar.py b/src/sage/schemes/elliptic_curves/hom_scalar.py
@@ -307,12 +307,8 @@ def _richcmp_(self, other, op):
         TESTS::
 
             sage: from sage.schemes.elliptic_curves.weierstrass_morphism import negation_morphism
-            sage: from sage.schemes.elliptic_curves.hom_composite import EllipticCurveHom_composite
-            doctest:warning ...
             sage: neg = negation_morphism(E)
-            sage: neg_psi = EllipticCurveHom_composite.from_factors([psi,neg])
-            sage: psi_neg = EllipticCurveHom_composite.from_factors([neg,psi])
-            sage: phi == neg_psi == psi_neg == -psi
+            sage: phi == neg*psi == psi*neg == -psi
             True
         """
         if isinstance(other, EllipticCurveHom_scalar):

diff --git a/src/sage/schemes/elliptic_curves/hom_velusqrt.py b/src/sage/schemes/elliptic_curves/hom_velusqrt.py
@@ -1365,6 +1365,22 @@ def scaling_factor(self):
         """
         return self._pre_iso.scaling_factor() * self._post_iso.scaling_factor()
 
+    def is_separable(self):
+        r"""
+        Determine whether or not this isogeny is separable.
+
+        Since :class:`EllipticCurveHom_velusqrt` only implements
+        separable isogenies, this method always returns ``True``.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(GF(17), [0,0,0,3,0])
+            sage: phi = E.isogeny(E((1,2)), algorithm='velusqrt')
+            sage: phi.is_separable()
+            True
+        """
+        return True
+
 
 def _random_example_for_testing():
     r"""