make (P in E) return False when P is defined over an extension field

sagemath · Jan 26, 2022 · 915b725 · 915b725
1 parent 4d67190
commit 915b725
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/sage/schemes/elliptic_curves/ell_generic.py b/src/sage/schemes/elliptic_curves/ell_generic.py
@@ -425,10 +425,7 @@ def __contains__(self, P):
                 P = self(P)
             except TypeError:
                 return False
-        if P.curve() == self:
-            return True
-        x, y, a = P[0], P[1], self.ainvs()
-        return y**2 + a[0]*x*y + a[2]*y == x**3 + a[1]*x**2 + a[3]*x + a[4]
+        return P.curve() == self
 
     def __call__(self, *args, **kwds):
         r"""