passagemath-schemes 10.6.40__cp314-cp314-macosx_13_0_arm64.whl

sage/schemes/elliptic_curves/ell_generic.py

@@ -0,0 +1,3760 @@
+# sage_setup: distribution = sagemath-schemes
+r"""
+Elliptic curves over a general ring
+
+Sage defines an elliptic curve over a ring `R` as a *Weierstrass Model* with
+five coefficients `[a_1,a_2,a_3,a_4,a_6]` in `R` given by
+
+.. MATH::
+
+    y^2 + a_1 xy + a_3 y = x^3 + a_2 x^2 + a_4 x + a_6.
+
+Note that the (usual) scheme-theoretic definition of an elliptic curve over `R`
+would require the discriminant to be a unit in `R`; Sage only imposes that the
+discriminant is nonzero. Also note that in Magma, "Weierstrass Model" refers
+to a model with `a_1=a_2=a_3=0`, which is called *Short Weierstrass Model* in
+Sage; these do not always exist in characteristics 2 and 3.
+
+EXAMPLES:
+
+We construct an elliptic curve over an elaborate base ring::
+
+    sage: p, a, b = 97, 1, 3
+    sage: R.<u> = GF(p)[]
+    sage: S.<v> = R[]
+    sage: T = S.fraction_field()
+    sage: E = EllipticCurve(T, [a, b]); E
+    Elliptic Curve defined by y^2  = x^3 + x + 3 over Fraction Field of Univariate
+    Polynomial Ring in v over Univariate Polynomial Ring in u over Finite Field of size 97
+    sage: latex(E)
+    y^2  = x^{3} + x + 3
+
+AUTHORS:
+
+- William Stein (2005): Initial version
+
+- Robert Bradshaw et al....
+
+- John Cremona (2008-01): isomorphisms, automorphisms and twists in all characteristics
+
+- Julian Rueth (2014-04-11): improved caching
+
+- Lorenz Panny (2022-04-14): added ``.montgomery_model()``
+"""
+
+# ****************************************************************************
+#       Copyright (C) 2005 William Stein <wstein@gmail.com>
+#       Copyright (C) 2014 Julian Rueth <julian.rueth@fsfe.org>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+import math
+from sage.arith.misc import valuation
+
+from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+from sage.rings.polynomial.polynomial_ring import polygen, polygens
+from sage.rings.polynomial.polynomial_element import polynomial_is_variable
+from sage.rings.polynomial.polynomial_quotient_ring_element import PolynomialQuotientRingElement
+from sage.rings.finite_rings.finite_field_base import FiniteField
+import sage.groups.additive_abelian.additive_abelian_group as groups
+import sage.groups.generic as generic
+
+from sage.arith.functions import lcm
+from sage.rings.integer import Integer
+from sage.rings.rational import Rational
+from sage.rings.finite_rings.finite_field_constructor import FiniteField as GF
+from sage.rings.rational_field import RationalField
+from sage.rings.real_mpfr import RealField
+from sage.misc.cachefunc import cached_method
+from sage.misc.fast_methods import WithEqualityById
+
+# Schemes
+import sage.schemes.projective.projective_space as projective_space
+from sage.schemes.projective.projective_homset import SchemeHomset_points_abelian_variety_field
+import sage.schemes.curves.projective_curve as plane_curve
+
+from . import ell_point
+from . import ell_torsion
+from . import constructor
+from . import formal_group
+from . import weierstrass_morphism as wm
+
+sqrt = math.sqrt
+exp = math.exp
+
+
+def is_EllipticCurve(x):
+    r"""
+    Utility function to test if ``x`` is an instance of an Elliptic Curve class.
+
+    EXAMPLES::
+
+        sage: from sage.schemes.elliptic_curves.ell_generic import is_EllipticCurve
+        sage: E = EllipticCurve([1,2,3/4,7,19])
+        sage: is_EllipticCurve(E)
+        doctest:warning...
+        DeprecationWarning: The function is_EllipticCurve is deprecated; use 'isinstance(..., EllipticCurve_generic)' instead.
+        See https://github.com/sagemath/sage/issues/38022 for details.
+        True
+        sage: is_EllipticCurve(0)
+        False
+    """
+    from sage.misc.superseded import deprecation
+    deprecation(38022, "The function is_EllipticCurve is deprecated; use 'isinstance(..., EllipticCurve_generic)' instead.")
+    return isinstance(x, EllipticCurve_generic)
+
+
+class EllipticCurve_generic(WithEqualityById, plane_curve.ProjectivePlaneCurve):
+    r"""
+    Elliptic curve over a generic base ring.
+
+    EXAMPLES::
+
+        sage: E = EllipticCurve([1,2,3/4,7,19]); E
+        Elliptic Curve defined by y^2 + x*y + 3/4*y = x^3 + 2*x^2 + 7*x + 19 over Rational Field
+        sage: loads(E.dumps()) == E
+        True
+        sage: E = EllipticCurve([1,3])
+        sage: P = E([-1,1,1])
+        sage: -5*P
+        (179051/80089 : -91814227/22665187 : 1)
+    """
+    def __init__(self, K, ainvs, category=None):
+        r"""
+        Construct an elliptic curve from Weierstrass `a`-coefficients.
+
+        INPUT:
+
+        - ``K`` -- a ring
+
+        - ``ainvs`` -- list or tuple `[a_1, a_2, a_3, a_4, a_6]` of
+          Weierstrass coefficients
+
+        .. NOTE::
+
+            This class should not be called directly; use
+            :class:`sage.constructor.EllipticCurve` to construct
+            elliptic curves.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5]); E
+            Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5
+            over Rational Field
+            sage: E = EllipticCurve(GF(7), [1,2,3,4,5]); E
+            Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5
+            over Finite Field of size 7
+
+        Constructor from `[a_4,a_6]` sets `a_1=a_2=a_3=0`::
+
+            sage: EllipticCurve([4,5]).ainvs()
+            (0, 0, 0, 4, 5)
+
+        The base ring need not be a field::
+
+            sage: EllipticCurve(IntegerModRing(91), [1,2,3,4,5])
+            Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5
+            over Ring of integers modulo 91
+        """
+        self.__base_ring = K
+        self.__ainvs = tuple(K(a) for a in ainvs)
+        if self.discriminant() == 0:
+            raise ArithmeticError(self._equation_string() + " defines a singular curve")
+        PP = projective_space.ProjectiveSpace(2, K, names='xyz')
+        x, y, z = PP.coordinate_ring().gens()
+        a1, a2, a3, a4, a6 = ainvs
+        f = y**2*z + (a1*x + a3*z)*y*z \
+            - (x**3 + a2*x**2*z + a4*x*z**2 + a6*z**3)
+        plane_curve.ProjectivePlaneCurve.__init__(self, PP, f, category=category)
+
+        self.__divpolys = ({}, {}, {})
+
+    _point = ell_point.EllipticCurvePoint
+
+    def assume_base_ring_is_field(self, flag=True):
+        r"""
+        Set a flag to pretend that this elliptic curve is defined over a
+        field while doing arithmetic, which is useful in some algorithms.
+
+
+        .. WARNING::
+
+            The flag affects all points created while the flag is set. Note
+            that elliptic curves are unique parents, hence setting this flag
+            may break seemingly unrelated parts of Sage.
+
+        .. NOTE::
+
+            This method is a **hack** provided for educational purposes.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(Zmod(35), [1,1])
+            sage: P = E(-5, 9)
+            sage: 4*P
+            (23 : 26 : 1)
+            sage: 9*P
+            (10 : 11 : 5)
+            sage: E.assume_base_ring_is_field()
+            sage: P = E(-5, 9)
+            sage: 4*P
+            (23 : 26 : 1)
+            sage: 9*P
+            Traceback (most recent call last):
+            ...
+            ZeroDivisionError: Inverse of 5 does not exist (characteristic = 35 = 5*7)
+        """
+        if flag:
+            if self.__base_ring.is_finite():
+                self._point = ell_point.EllipticCurvePoint_finite_field
+            else:
+                self._point = ell_point.EllipticCurvePoint_field
+        else:
+            self._point = ell_point.EllipticCurvePoint
+
+    def _defining_params_(self):
+        r"""
+        Internal function. Return a tuple of the base ring of this
+        elliptic curve and its `a`-invariants, from which it can be
+        reconstructed.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ,[1,1])
+            sage: E._defining_params_()
+            (Rational Field, [0, 0, 0, 1, 1])
+            sage: EllipticCurve(*E._defining_params_()) == E
+            True
+        """
+        return (self.__base_ring, list(self.__ainvs))
+
+    def _equation_string(self):
+        """
+        String representation of the equation of elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5]); E._equation_string()
+            'y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5'
+        """
+        b = self.ainvs()
+        a = [z._coeff_repr() for z in b]
+        s = "y^2"
+        if a[0] == "-1":
+            s += " - x*y"
+        elif a[0] == '1':
+            s += " + x*y"
+        elif b[0]:
+            s += " + %s*x*y" % a[0]
+        if a[2] == "-1":
+            s += " - y"
+        elif a[2] == '1':
+            s += " + y"
+        elif b[2]:
+            s += " + %s*y" % a[2]
+        s += " = x^3"
+        if a[1] == "-1":
+            s += " - x^2"
+        elif a[1] == '1':
+            s += " + x^2"
+        elif b[1]:
+            s += " + %s*x^2" % a[1]
+        if a[3] == "-1":
+            s += " - x"
+        elif a[3] == '1':
+            s += " + x"
+        elif b[3]:
+            s += " + %s*x" % a[3]
+        if a[4] == '-1':
+            s += " - 1"
+        elif a[4] == '1':
+            s += " + 1"
+        elif b[4]:
+            s += " + %s" % a[4]
+        return s.replace("+ -","- ")
+
+    def _repr_(self):
+        """
+        String representation of elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5]); E._repr_()
+            'Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field'
+
+        ::
+
+            sage: R.<x> = QQ['x']
+            sage: K.<a> = NumberField(x^3 - 17)                                         # needs sage.rings.number_field
+            sage: EllipticCurve([a^2 - 3, -2/3*a + 3])                                  # needs sage.rings.number_field
+            Elliptic Curve defined by y^2 = x^3 + (a^2-3)*x + (-2/3*a+3)
+            over Number Field in a
+            with defining polynomial x^3 - 17
+        """
+        s = "Elliptic Curve defined by "
+        s += self._equation_string()
+        s += " over %s" % self.base_ring()
+        return s
+
+    def _latex_(self):
+        """
+        Internal function. Return a latex string for this elliptic curve.
+
+        Users will normally use :func:`latex` instead.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ, [1,1])
+            sage: E._latex_()
+            'y^2 = x^{3} + x + 1 '
+
+            sage: E = EllipticCurve(QQ, [1,2,3,4,5])
+            sage: E._latex_()
+            'y^2 + x y + 3 y = x^{3} + 2 x^{2} + 4 x + 5 '
+
+        Check that :issue:`12524` is solved::
+
+            sage: x = polygen(ZZ, 'x')
+            sage: K.<phi> = NumberField(x^2 - x - 1)                                    # needs sage.rings.number_field
+            sage: E = EllipticCurve([0, 0, phi, 27*phi - 43, -80*phi + 128])            # needs sage.rings.number_field
+            sage: E._latex_()                                                           # needs sage.rings.number_field
+            'y^2 + \\phi y = x^{3} + \\left(27 \\phi - 43\\right) x - 80 \\phi + 128 '
+        """
+        from sage.rings.polynomial.polynomial_ring import polygen
+        a = self.ainvs()
+        x, y = polygen(self.base_ring(), 'x, y')
+        s = "y^2"
+        if a[0] or a[2]:
+            s += " + " + (a[0]*x*y + a[2]*y)._latex_()
+        s += " = "
+        s += (x**3 + a[1]*x**2 + a[3]*x + a[4])._latex_()
+        s += " "
+        s = s.replace("+ -","- ")
+        return s
+
+    def _pari_init_(self):
+        """
+        Internal function. Return a string to initialize this elliptic
+        curve in the PARI system.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ,[1,1])
+            sage: E._pari_init_()
+            'ellinit([0/1,0/1,0/1,1/1,1/1])'
+        """
+        return 'ellinit([%s])' % (','.join(x._pari_init_()
+                                           for x in self.ainvs()))
+
+    def _magma_init_(self, magma):
+        """
+        Internal function. Return a string to initialize this elliptic
+        curve in the Magma subsystem.
+
+        EXAMPLES::
+
+            sage: # optional - magma
+            sage: E = EllipticCurve(QQ, [1,1])
+            sage: E._magma_init_(magma)
+            'EllipticCurve([_sage_ref...|0/1,0/1,0/1,1/1,1/1])'
+            sage: E = EllipticCurve(GF(41), [2,5])
+            sage: E._magma_init_(magma)
+            'EllipticCurve([_sage_ref...|GF(41)!0,GF(41)!0,GF(41)!0,GF(41)!2,GF(41)!5])'
+            sage: E = EllipticCurve(GF(25,'a'), [0,0,1,4,0])                            # needs sage.rings.finite_rings
+            sage: magma(E)                                                              # needs sage.rings.finite_rings
+            Elliptic Curve defined by y^2 + y = x^3 + 4*x over GF(5^2)
+            sage: magma(EllipticCurve([1/2,2/3,-4/5,6/7,8/9]))
+            Elliptic Curve defined by y^2 + 1/2*x*y - 4/5*y = x^3 + 2/3*x^2 + 6/7*x + 8/9 over Rational Field
+            sage: R.<x> = Frac(QQ['x'])
+            sage: magma(EllipticCurve([x, 1 + x]))
+            Elliptic Curve defined by y^2 = x^3 + x*x + (x + 1)
+            over Univariate rational function field over Rational Field
+        """
+        kmn = magma(self.base_ring())._ref()
+        return 'EllipticCurve([%s|%s])' % (kmn,','.join(x._magma_init_(magma)
+                                                        for x in self.ainvs()))
+
+    def _symbolic_(self, SR):
+        r"""
+        Many elliptic curves can be converted into a symbolic expression
+        using the ``symbolic_expression`` command.
+
+        EXAMPLES: We find a torsion point on 11a.
+
+        ::
+
+            sage: E = EllipticCurve('11a')
+            sage: E._symbolic_(SR)                                                      # needs sage.symbolic
+            y^2 + y == x^3 - x^2 - 10*x - 20
+            sage: E.torsion_subgroup().gens()                                           # needs sage.symbolic
+            ((5 : 5 : 1),)
+
+        We find the corresponding symbolic equality::
+
+            sage: eqn = symbolic_expression(E); eqn                                     # needs sage.symbolic
+            y^2 + y == x^3 - x^2 - 10*x - 20
+
+        We verify that the given point is on the curve::
+
+            sage: eqn(x=5, y=5)                                                         # needs sage.symbolic
+            30 == 30
+            sage: bool(eqn(x=5, y=5))                                                   # needs sage.symbolic
+            True
+
+        We create a single expression::
+
+            sage: F = eqn.lhs() - eqn.rhs(); F                                          # needs sage.symbolic
+            -x^3 + x^2 + y^2 + 10*x + y + 20
+            sage: y = var('y')                                                          # needs sage.symbolic
+            sage: F.solve(y)                                                            # needs sage.symbolic
+            [y == -1/2*sqrt(4*x^3 - 4*x^2 - 40*x - 79) - 1/2,
+             y == 1/2*sqrt(4*x^3 - 4*x^2 - 40*x - 79) - 1/2]
+
+        You can also solve for x in terms of y, but the result is
+        horrendous. Continuing with the above example, we can explicitly
+        find points over random fields by substituting in values for x::
+
+            sage: # needs sage.symbolic
+            sage: v = F.solve(y)[0].rhs(); v
+            -1/2*sqrt(4*x^3 - 4*x^2 - 40*x - 79) - 1/2
+            sage: v = v.function(x)
+            sage: v(3)
+            -1/2*sqrt(-127) - 1/2
+            sage: v(7)
+            -1/2*sqrt(817) - 1/2
+            sage: v(-7)
+            -1/2*sqrt(-1367) - 1/2
+            sage: v(sqrt(2))
+            -1/2*sqrt(-32*sqrt(2) - 87) - 1/2
+
+        We can even do arithmetic with them, as follows::
+
+            sage: # needs sage.symbolic
+            sage: E2 = E.change_ring(SR); E2
+            Elliptic Curve defined by y^2 + y = x^3 + (-1)*x^2 + (-10)*x + (-20)
+            over Symbolic Ring
+            sage: P = E2.point((3, v(3), 1), check=False)  # the check=False option doesn't verify that y^2 = f(x)
+            sage: P
+            (3 : -1/2*sqrt(-127) - 1/2 : 1)
+            sage: P + P
+            (-756/127 : 41143/32258*sqrt(-127) - 1/2 : 1)
+
+        We can even throw in a transcendental::
+
+            sage: w = E2.point((pi,v(pi),1), check=False); w                            # needs sage.symbolic
+            (pi : -1/2*sqrt(-40*pi + 4*pi^3 - 4*pi^2 - 79) - 1/2 : 1)
+            sage: x, y, z = w; ((y^2 + y) - (x^3 - x^2 - 10*x - 20)).expand()           # needs sage.symbolic
+            0
+
+            sage: 2*w                                                                   # needs sage.symbolic
+            (-2*pi - (2*pi - 3*pi^2 + 10)^2/(40*pi - 4*pi^3 + 4*pi^2 + 79) + 1 : (3*pi + (2*pi - 3*pi^2 + 10)^2/(40*pi - 4*pi^3 + 4*pi^2 + 79) - 1)*(2*pi - 3*pi^2 + 10)/sqrt(-40*pi + 4*pi^3 - 4*pi^2 - 79) + 1/2*sqrt(-40*pi + 4*pi^3 - 4*pi^2 - 79) - 1/2 : 1)
+
+            sage: x, y, z = 2*w; temp = ((y^2 + y) - (x^3 - x^2 - 10*x - 20))           # needs sage.symbolic
+
+        This is a point on the curve::
+
+            sage: bool(temp == 0)                                                       # needs sage.symbolic
+            True
+        """
+        a = [SR(x) for x in self.a_invariants()]
+        x, y = SR.var('x, y')
+        return y**2 + a[0]*x*y + a[2]*y == x**3 + a[1]*x**2 + a[3]*x + a[4]
+
+    def __contains__(self, P):
+        """
+        Return ``True`` if and only if P is a point on the elliptic curve.
+
+        P just has to be something that can be coerced to a point.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, 0, 1, -1, 0])
+            sage: (0,0) in E
+            True
+            sage: (1,3) in E
+            False
+            sage: E = EllipticCurve([GF(7)(0), 1])
+            sage: [0,0] in E
+            False
+            sage: [0,8] in E
+            True
+            sage: P = E(0,8)
+            sage: P
+            (0 : 1 : 1)
+            sage: P in E
+            True
+        """
+        if not isinstance(P, ell_point.EllipticCurvePoint):
+            try:
+                P = self(P)
+            except TypeError:
+                return False
+        return P.curve() == self
+
+    def __call__(self, *args, **kwds):
+        r"""
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, 0, 1, -1, 0])
+
+        The point at infinity, which is the 0 element of the group::
+
+            sage: E(0)
+            (0 : 1 : 0)
+
+        The origin is a point on our curve::
+
+            sage: P = E([0,0])
+            sage: P
+            (0 : 0 : 1)
+
+        The curve associated to a point::
+
+            sage: P.curve()
+            Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+
+        Points can be specified by given a 2-tuple or 3-tuple::
+
+            sage: E([0,0])
+            (0 : 0 : 1)
+            sage: E([0,1,0])
+            (0 : 1 : 0)
+
+        Over a field, points are normalized so the 3rd entry (if nonzero)
+        is 1::
+
+            sage: E(105, -69, 125)
+            (21/25 : -69/125 : 1)
+
+        We create points on an elliptic curve over a prime finite field::
+
+            sage: E = EllipticCurve([GF(7)(0), 1])
+            sage: E([2,3])
+            (2 : 3 : 1)
+            sage: E([0,0])
+            Traceback (most recent call last):
+            ...
+            TypeError: Coordinates [0, 0, 1] do not define a point
+            on Elliptic Curve defined by y^2 = x^3 + 1 over Finite Field of size 7
+
+        We create a point on an elliptic curve over a number field::
+
+            sage: # needs sage.rings.number_field
+            sage: x = polygen(RationalField())
+            sage: K = NumberField(x**3 + x + 1, 'a'); a = K.gen()
+            sage: E = EllipticCurve([a, a])
+            sage: E
+            Elliptic Curve defined by y^2 = x^3 + a*x + a
+            over Number Field in a with defining polynomial x^3 + x + 1
+            sage: E = EllipticCurve([K(1), 1])
+            sage: E
+            Elliptic Curve defined by y^2 = x^3 + x + 1
+            over Number Field in a with defining polynomial x^3 + x + 1
+            sage: P = E([a,0,1])
+            sage: P
+            (a : 0 : 1)
+            sage: P + P
+            (0 : 1 : 0)
+
+        Another example involving `p`-adics::
+
+            sage: E = EllipticCurve('37a1')
+            sage: P = E([0,0]); P
+            (0 : 0 : 1)
+            sage: R = pAdicField(3, 20)                                                 # needs sage.rings.padics
+            sage: Ep = E.base_extend(R); Ep                                             # needs sage.rings.padics
+            Elliptic Curve defined by
+            y^2 + (1+O(3^20))*y = x^3 + (2+2*3+2*3^2+2*3^3+2*3^4+2*3^5+2*3^6+2*3^7+2*3^8+2*3^9+2*3^10+2*3^11+2*3^12+2*3^13+2*3^14+2*3^15+2*3^16+2*3^17+2*3^18+2*3^19+O(3^20))*x
+            over 3-adic Field with capped relative precision 20
+            sage: Ep(P)                                                                 # needs sage.rings.padics
+            (0 : 0 : 1 + O(3^20))
+
+        Constructing points from the torsion subgroup (which is an abstract
+        abelian group)::
+
+            sage: E = EllipticCurve('14a1')
+            sage: T = E.torsion_subgroup()
+            sage: [E(t) for t in T]
+            [(0 : 1 : 0),
+             (9 : 23 : 1),
+             (2 : 2 : 1),
+             (1 : -1 : 1),
+             (2 : -5 : 1),
+             (9 : -33 : 1)]
+
+        ::
+
+            sage: E = EllipticCurve([0,0,0,-49,0])
+            sage: T = E.torsion_subgroup()
+            sage: [E(t) for t in T]
+            [(0 : 1 : 0), (0 : 0 : 1), (-7 : 0 : 1), (7 : 0 : 1)]
+
+        ::
+
+            sage: E = EllipticCurve('37a1')
+            sage: T = E.torsion_subgroup()
+            sage: [E(t) for t in T]
+            [(0 : 1 : 0)]
+        """
+        if len(args) == 1 and args[0] == 0:
+            R = self.base_ring()
+            return self.point([R(0),R(1),R(0)], check=False)
+        P = args[0]
+        if isinstance(P, groups.AdditiveAbelianGroupElement) and isinstance(P.parent(),ell_torsion.EllipticCurveTorsionSubgroup):
+            return self(P.element())
+        if isinstance(args[0], ell_point.EllipticCurvePoint):
+            if P.curve() is self:
+                return P
+            # check if denominator of the point contains a factor of the
+            # characteristic of the base ring. if so, coerce the point to
+            # infinity.
+            characteristic = self.base_ring().characteristic()
+            if characteristic != 0 and isinstance(args[0][0], Rational) and isinstance(args[0][1], Rational):
+                if characteristic.divides(args[0][0].denominator()) or characteristic.divides(args[0][1].denominator()):
+                    return self._reduce_point(args[0], characteristic)
+            args = tuple(args[0])
+
+        return plane_curve.ProjectivePlaneCurve.__call__(self, *args, **kwds)
+
+    def _reduce_point(self, R, p):
+        r"""
+        Reduces a point R on an elliptic curve to the corresponding point on
+        the elliptic curve reduced modulo p.
+
+        Used to coerce points between
+        curves when p is a factor of the denominator of one of the
+        coordinates.
+
+        This functionality is used internally in the ``call`` method for
+        elliptic curves.
+
+        INPUT:
+
+        - ``R`` -- a point on an elliptic curve
+        - ``p`` -- a prime
+
+        OUTPUT: S; the corresponding point of the elliptic curve containing
+        R, but reduced modulo p
+
+        EXAMPLES:
+
+        Suppose we have a point with large height on a rational elliptic curve
+        whose denominator contains a factor of 11::
+
+            sage: E = EllipticCurve([1,-1,0,94,9])
+            sage: R = E([0,3]) + 5*E([8,31])
+            sage: factor(R.x().denominator())
+            2^2 * 11^2 * 1457253032371^2
+
+        Since 11 is a factor of the denominator, this point corresponds to the
+        point at infinity on the same curve but reduced modulo 11. The reduce
+        function tells us this::
+
+            sage: E11 = E.change_ring(GF(11))
+            sage: S = E11._reduce_point(R, 11)
+            sage: E11(S)
+            (0 : 1 : 0)
+
+        The 0 point reduces as expected::
+
+            sage: E11._reduce_point(E(0), 11)
+            (0 : 1 : 0)
+
+        Note that one need not explicitly call
+        \code{EllipticCurve._reduce_point}
+        """
+        if R.is_zero():
+            return R.curve().change_ring(GF(p))(0)
+        x, y = R.xy()
+        d = lcm(x.denominator(), y.denominator())
+        return R.curve().change_ring(GF(p))([x*d, y*d, d])
+
+    def is_x_coord(self, x):
+        r"""
+        Return ``True`` if ``x`` is the `x`-coordinate of a point on this curve.
+
+        .. NOTE::
+
+            See also :meth:`lift_x` to find the point(s) with a given
+            `x`-coordinate.  This function may be useful in cases where
+            testing an element of the base field for being a square is
+            faster than finding its square root.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('37a'); E
+            Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+            sage: E.is_x_coord(1)
+            True
+            sage: E.is_x_coord(2)
+            True
+
+        There are no rational points with x-coordinate 3::
+
+            sage: E.is_x_coord(3)
+            False
+
+        However, there are such points in `E(\RR)`::
+
+            sage: E.change_ring(RR).is_x_coord(3)
+            True
+
+        And of course it always works in `E(\CC)`::
+
+            sage: E.change_ring(RR).is_x_coord(-3)
+            False
+            sage: E.change_ring(CC).is_x_coord(-3)
+            True
+
+        AUTHORS:
+
+        - John Cremona (2008-08-07): adapted from :meth:`lift_x`
+
+        TESTS::
+
+            sage: E = EllipticCurve('5077a1')
+            sage: [x for x in srange(-10,10) if E.is_x_coord (x)]
+            [-3, -2, -1, 0, 1, 2, 3, 4, 8]
+
+        ::
+
+            sage: F = GF(32,'a')                                                                    # needs sage.rings.finite_rings
+            sage: E = EllipticCurve(F,[1,0,0,0,1])                                                  # needs sage.rings.finite_rings
+            sage: set(P[0] for P in E.points() if P!=E(0)) == set(x for x in F if E.is_x_coord(x))  # needs sage.rings.finite_rings
+            True
+        """
+        K = self.base_ring()
+        try:
+            x = K(x)
+        except TypeError:
+            raise TypeError('x must be coercible into the base ring of the curve')
+        a1, a2, a3, a4, a6 = self.ainvs()
+        fx = ((x + a2) * x + a4) * x + a6
+        if a1.is_zero() and a3.is_zero():
+            return fx.is_square()
+        b = (a1*x + a3)
+        if K.characteristic() == 2:
+            R = PolynomialRing(K, 'y')
+            F = R([-fx,b,1])
+            return bool(F.roots())
+        D = b*b + 4*fx
+        return D.is_square()
+
+    def lift_x(self, x, all=False, extend=False):
+        r"""
+        Return one or all points with given `x`-coordinate.
+
+        This method is deterministic: It returns the same data each
+        time when called again with the same `x`.
+
+        INPUT:
+
+        - ``x`` -- an element of the base ring of the curve, or of an extension
+
+        - ``all`` -- boolean (default: ``False``); if ``True``, return a
+          (possibly empty) list of all points; if ``False``, return just one
+          point, or raise a :exc:`ValueError` if there are none.
+
+        - ``extend`` -- boolean (default: ``False``);
+
+          - if ``False``, extend the base if necessary and possible to
+            include `x`, and only return point(s) defined over this
+            ring, or raise an error when there are none with this
+            `x`-coordinate;
+
+          - If ``True``, the base ring will be extended if necessary
+            to contain the `y`-coordinates of the point(s) with this
+            `x`-coordinate, in addition to a possible base change to
+            include `x`.
+
+        OUTPUT:
+
+        A point or list of up to 2 points on this curve, or a
+        base-change of this curve to a larger ring.
+
+        .. SEEALSO::
+
+            :meth:`is_x_coord`
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('37a'); E
+            Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+            sage: E.lift_x(1)
+            (1 : -1 : 1)
+            sage: E.lift_x(2)
+            (2 : -3 : 1)
+            sage: E.lift_x(1/4, all=True)
+            [(1/4 : -5/8 : 1), (1/4 : -3/8 : 1)]
+
+        There are no rational points with `x`-coordinate 3::
+
+            sage: E.lift_x(3)
+            Traceback (most recent call last):
+            ...
+            ValueError: No point with x-coordinate 3
+            on Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+
+        We can use the ``extend`` parameter to make the necessary
+        quadratic extension.  Note that in such cases the returned
+        point is a point on a new curve object, the result of changing
+        the base ring to the parent of `x`::
+
+            sage: P = E.lift_x(3, extend=True); P                                       # needs sage.rings.number_field
+            (3 : -y - 1 : 1)
+            sage: P.curve()                                                             # needs sage.rings.number_field
+            Elliptic Curve defined by y^2 + y = x^3 + (-1)*x
+            over Number Field in y with defining polynomial y^2 + y - 24
+
+        Or we can extend scalars.  There are two such points in `E(\RR)`::
+
+            sage: E.change_ring(RR).lift_x(3, all=True)
+            [(3.00000000000000 : -5.42442890089805 : 1.00000000000000),
+             (3.00000000000000 : 4.42442890089805 : 1.00000000000000)]
+
+        And of course it always works in `E(\CC)`::
+
+            sage: E.change_ring(RR).lift_x(.5, all=True)
+            []
+            sage: E.change_ring(CC).lift_x(.5)
+            (0.500000000000000 : -0.500000000000000 - 0.353553390593274*I : 1.00000000000000)
+
+        In this example we start with a curve defined over `\QQ`
+        which has no rational points with `x=0`, but using
+        ``extend = True`` we can construct such a point over a quadratic
+        field::
+
+            sage: E = EllipticCurve([0,0,0,0,2]); E
+            Elliptic Curve defined by y^2 = x^3 + 2 over Rational Field
+            sage: P = E.lift_x(0, extend=True); P                                       # needs sage.rings.number_field
+            (0 : -y : 1)
+            sage: P.curve()                                                             # needs sage.rings.number_field
+            Elliptic Curve defined by y^2 = x^3 + 2
+            over Number Field in y with defining polynomial y^2 - 2
+
+        We can perform these operations over finite fields too::
+
+            sage: E = EllipticCurve('37a').change_ring(GF(17)); E
+            Elliptic Curve defined by y^2 + y = x^3 + 16*x over Finite Field of size 17
+            sage: E.lift_x(7)
+            (7 : 5 : 1)
+            sage: E.lift_x(3)
+            Traceback (most recent call last):
+            ...
+            ValueError: No point with x-coordinate 3 on
+            Elliptic Curve defined by y^2 + y = x^3 + 16*x over Finite Field of size 17
+
+        Note that there is only one lift with `x`-coordinate 10 in
+        `E(\GF{17})`::
+
+            sage: E.lift_x(10, all=True)
+            [(10 : 8 : 1)]
+
+        We can lift over more exotic rings too. If the supplied x
+        value is in an extension of the base, note that the point
+        returned is on the base-extended curve::
+
+            sage: E = EllipticCurve('37a')
+            sage: P = E.lift_x(pAdicField(17, 5)(6)); P                                 # needs sage.rings.padics
+            (6 + O(17^5) : 14 + O(17^5) : 1 + O(17^5))
+            sage: P.curve()                                                             # needs sage.rings.padics
+            Elliptic Curve defined by
+            y^2 + (1+O(17^5))*y = x^3 + (16+16*17+16*17^2+16*17^3+16*17^4+O(17^5))*x
+            over 17-adic Field with capped relative precision 5
+            sage: K.<t> = PowerSeriesRing(QQ, 't', 5)
+            sage: P = E.lift_x(1 + t); P
+            (1 + t : -1 - 2*t + t^2 - 5*t^3 + 21*t^4 + O(t^5) : 1)
+            sage: K.<a> = GF(16)                                                        # needs sage.rings.finite_rings
+            sage: P = E.change_ring(K).lift_x(a^3); P                                   # needs sage.rings.finite_rings
+            (a^3 : a^3 + a : 1)
+            sage: P.curve()                                                             # needs sage.rings.finite_rings
+            Elliptic Curve defined by y^2 + y = x^3 + x over Finite Field in a of size 2^4
+
+        We can extend the base field to include the associated `y` value(s)::
+
+            sage: E = EllipticCurve([0,0,0,0,2]); E
+            Elliptic Curve defined by y^2 = x^3 + 2 over Rational Field
+            sage: x = polygen(QQ)
+            sage: P = E.lift_x(x, extend=True); P
+            (x : -y : 1)
+
+        This point is a generic point on E::
+
+            sage: P.curve()
+            Elliptic Curve defined by y^2 = x^3 + 2
+            over Univariate Quotient Polynomial Ring in y
+            over Fraction Field of Univariate Polynomial Ring in x over Rational Field
+            with modulus y^2 - x^3 - 2
+            sage: -P
+            (x : y : 1)
+            sage: 2*P
+            ((1/4*x^4 - 4*x)/(x^3 + 2) : ((-1/8*x^6 - 5*x^3 + 4)/(x^6 + 4*x^3 + 4))*y : 1)
+
+        Check that :issue:`30297` is fixed::
+
+            sage: K = Qp(5)                                                             # needs sage.rings.padics
+            sage: E = EllipticCurve([K(0), K(1)])                                       # needs sage.rings.padics
+            sage: E.lift_x(1, extend=True)                                              # needs sage.rings.padics
+            (1 + O(5^20) : y + O(5^20) : 1 + O(5^20))
+
+        AUTHORS:
+
+        - Robert Bradshaw (2007-04-24)
+        - John Cremona (2017-11-10)
+
+        TESTS::
+
+            sage: E = EllipticCurve('37a').short_weierstrass_model().change_ring(GF(17))
+            sage: E.lift_x(3, all=True)
+            []
+            sage: E.lift_x(7, all=True)
+            [(7 : 3 : 1), (7 : 14 : 1)]
+
+        Check determinism::
+
+            sage: F.<t> = GF((101,3))
+            sage: {(t+1).sqrt() for _ in range(1000)}   # both square roots can occur
+            {29*t^2 + 56*t + 26, 72*t^2 + 45*t + 75}
+            sage: E = EllipticCurve(F, [1,1])
+            sage: {E.lift_x(t+1) for _ in range(1000)}  # but .lift_x() uses a fixed one
+            {(t + 1 : 39*t^2 + 14*t + 12 : 1)}
+        """
+        K = self.base_ring()
+        L = x.parent()
+        E = self
+
+        # Check that the x-coordinate is in K and extend otherwise if possible:
+        phi = K.coerce_map_from(L)
+        if phi:
+            x = phi(x)
+            L = K  # new parent of x
+        else:
+            if L.coerce_map_from(K):
+                E = E.change_ring(L)
+                L = E.base_ring()
+                x = L(x)
+            else:
+                raise TypeError("Unable to construct a point with x in {} over {}".format(L,K))
+
+        # Now E is defined over L, possibly an extension of K, and x is in L
+
+        a1, a2, a3, a4, a6 = E.ainvs()
+        b = (a1*x + a3)
+        f = ((x + a2) * x + a4) * x + a6
+
+        # If possible find the associated y coordinates in L:
+
+        if K.characteristic() == 2:
+            R = PolynomialRing(L, 'y')
+            F = R([-f,b,1])
+            ys = F.roots(L, multiplicities=False)
+        else:
+            D = b*b+4*f
+            ys = []
+            if D.is_square():  # avoid automatic creation of sqrts
+                ys = [(-b+d)/2 for d in D.sqrt(all=True)]
+
+        ys.sort()  # ensure deterministic behavior
+
+        # Return the point(s) if any:
+
+        if ys:
+            one = L.one()
+            if all:
+                return [E.point([x, y, one], check=False) for y in ys]
+            else:
+                return E.point([x, ys[0], one], check=False)
+
+        # otherwise if the additional extension was not requested return the empty list or raise an error:
+
+        if not extend:
+            if all:
+                return []
+            else:
+                raise ValueError("No point with x-coordinate {} on {}".format(x, self))
+
+        # Now make the extension needed to contain the y-coordinates:
+
+        if K.characteristic() != 2:  # else we already defined F
+            R = PolynomialRing(L, 'y')
+            F = R([-f,b,1])
+        M = L.fraction_field().extension(F, names='y')
+        EM = E.change_ring(M)
+        y1 = M.gen()
+        y2 = -b-y1
+        if y2 == y1:
+            ys = [y1]
+        else:
+            ys = [y1, y2]
+        ys.sort()  # ensure deterministic behavior
+        x = M(x)
+        one = M.one()
+        if all:
+            return [EM.point([x, y, one], check=False) for y in ys]
+        else:
+            return EM.point([x, ys[0], one], check=False)
+
+    def _point_homset(self, *args, **kwds):
+        r"""
+        Internal function. Return the (abstract) group of points on this
+        elliptic curve over a ring.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(GF(5),[1,1])
+            sage: E._point_homset(Spec(GF(5^10,'a'), GF(5)), E)                         # needs sage.rings.finite_rings
+            Abelian group of points on Elliptic Curve defined
+            by y^2 = x^3 + x + 1 over Finite Field in a of size 5^10
+
+        Point sets of elliptic curves are unique (see :issue:`17008`)::
+
+            sage: E = EllipticCurve([2, 3])
+            sage: E.point_homset() is E.point_homset(QQ)
+            True
+
+            sage: @fork
+            ....: def compute_E():
+            ....:     E = EllipticCurve([2, 3])
+            ....:     p = E(3, 6, 1)
+            ....:     return p
+            sage: p = compute_E()
+            sage: 2*p
+            (-23/144 : 2827/1728 : 1)
+        """
+        return SchemeHomset_points_abelian_variety_field(*args, **kwds)
+
+    def __getitem__(self, n):
+        r"""
+        Placeholder for standard indexing function.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ,[1,1])
+            sage: E[2]
+            Traceback (most recent call last):
+            ...
+            NotImplementedError: not implemented.
+        """
+        raise NotImplementedError("not implemented.")
+
+    def __is_over_RationalField(self):
+        r"""
+        Internal function. Return true iff the base ring of this elliptic
+        curve is the field of rational numbers.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ,[1,1])
+            sage: E._EllipticCurve_generic__is_over_RationalField()
+            True
+            sage: E = EllipticCurve(GF(5),[1,1])
+            sage: E._EllipticCurve_generic__is_over_RationalField()
+            False
+        """
+        return isinstance(self.base_ring(), RationalField)
+
+    def is_on_curve(self, x, y):
+        r"""
+        Return ``True`` if `(x,y)` is an affine point on this curve.
+
+        INPUT:
+
+        - ``x``, ``y`` -- elements of the base ring of the curve
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQ,[1,1])
+            sage: E.is_on_curve(0,1)
+            True
+            sage: E.is_on_curve(1,1)
+            False
+        """
+        a = self.ainvs()
+        return y**2 + a[0]*x*y + a[2]*y == x**3 + a[1]*x**2 + a[3]*x + a[4]
+
+    def is_exact(self):
+        """
+        Test whether elements of this elliptic curve are represented exactly.
+
+        EXAMPLES::
+
+            sage: EllipticCurve(QQ, [1, 2]).is_exact()
+            True
+            sage: EllipticCurve(RR, [1, 2]).is_exact()
+            False
+        """
+        return self.__base_ring.is_exact()
+
+    def a_invariants(self):
+        r"""
+        The `a`-invariants of this elliptic curve, as a tuple.
+
+        OUTPUT:
+
+        (tuple) - a 5-tuple of the `a`-invariants of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.a_invariants()
+            (1, 2, 3, 4, 5)
+
+            sage: E = EllipticCurve([0,1]); E
+            Elliptic Curve defined by y^2 = x^3 + 1 over Rational Field
+            sage: E.a_invariants()
+            (0, 0, 0, 0, 1)
+
+            sage: E = EllipticCurve([GF(7)(3),5])
+            sage: E.a_invariants()
+            (0, 0, 0, 3, 5)
+
+        TESTS::
+
+            sage: E = EllipticCurve([1,0,0,0,1])
+            sage: E.a_invariants()[0] = 100000000
+            Traceback (most recent call last):
+            ...
+            TypeError: 'tuple' object does not support item assignment
+        """
+        return self.__ainvs
+
+    ainvs = a_invariants
+
+    def a1(self):
+        r"""
+        Return the `a_1` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,6])
+            sage: E.a1()
+            1
+        """
+        return self.__ainvs[0]
+
+    def a2(self):
+        r"""
+        Return the `a_2` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,6])
+            sage: E.a2()
+            2
+        """
+        return self.__ainvs[1]
+
+    def a3(self):
+        r"""
+        Return the `a_3` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,6])
+            sage: E.a3()
+            3
+        """
+        return self.__ainvs[2]
+
+    def a4(self):
+        r"""
+        Return the `a_4` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,6])
+            sage: E.a4()
+            4
+        """
+        return self.__ainvs[3]
+
+    def a6(self):
+        r"""
+        Return the `a_6` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,6])
+            sage: E.a6()
+            6
+        """
+        return self.__ainvs[4]
+
+    @cached_method
+    def b_invariants(self):
+        r"""
+        Return the `b`-invariants of this elliptic curve, as a tuple.
+
+        OUTPUT:
+
+        (tuple) - a 4-tuple of the `b`-invariants of this elliptic curve.
+
+        This method is cached.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.b_invariants()
+            (-4, -20, -79, -21)
+
+            sage: E = EllipticCurve([-4,0])
+            sage: E.b_invariants()
+            (0, -8, 0, -16)
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.b_invariants()
+            (9, 11, 29, 35)
+            sage: E.b2()
+            9
+            sage: E.b4()
+            11
+            sage: E.b6()
+            29
+            sage: E.b8()
+            35
+
+        ALGORITHM:
+
+        These are simple functions of the `a`-invariants.
+
+        AUTHORS:
+
+        - William Stein (2005-04-25)
+        """
+        a1, a2, a3, a4, a6 = self.ainvs()
+        return (a1*a1 + 4*a2,
+                a1*a3 + 2*a4,
+                a3**2 + 4*a6,
+                a1**2 * a6 + 4*a2*a6 - a1*a3*a4 + a2*a3**2 - a4**2)
+
+    def b2(self):
+        r"""
+        Return the `b_2` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.b2()
+            9
+        """
+        return self.b_invariants()[0]
+
+    def b4(self):
+        r"""
+        Return the `b_4` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.b4()
+            11
+        """
+        return self.b_invariants()[1]
+
+    def b6(self):
+        r"""
+        Return the `b_6` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.b6()
+            29
+        """
+        return self.b_invariants()[2]
+
+    def b8(self):
+        r"""
+        Return the `b_8` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.b8()
+            35
+        """
+        return self.b_invariants()[3]
+
+    @cached_method
+    def c_invariants(self):
+        r"""
+        Return the `c`-invariants of this elliptic curve, as a tuple.
+
+        This method is cached.
+
+        OUTPUT:
+
+        (tuple) - a 2-tuple of the `c`-invariants of the elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.c_invariants()
+            (496, 20008)
+
+            sage: E = EllipticCurve([-4,0])
+            sage: E.c_invariants()
+            (192, 0)
+
+        ALGORITHM:
+
+        These are simple functions of the `a`-invariants.
+
+        AUTHORS:
+
+        - William Stein (2005-04-25)
+        """
+        b2, b4, b6, b8 = self.b_invariants()
+        # note: c6 is wrong in Silverman, but right in Cremona
+        return (b2**2 - 24*b4,
+                -b2**3 + 36*b2*b4 - 216*b6)
+
+    def c4(self):
+        r"""
+        Return the `c_4` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.c4()
+            496
+        """
+        return self.c_invariants()[0]
+
+    def c6(self):
+        r"""
+        Return the `c_6` invariant of this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.c6()
+            20008
+        """
+        return self.c_invariants()[1]
+
+    @cached_method
+    def discriminant(self):
+        r"""
+        Return the discriminant of this elliptic curve.
+
+        This method is cached.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0,0,1,-1,0])
+            sage: E.discriminant()
+            37
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.discriminant()
+            -161051
+
+            sage: E = EllipticCurve([GF(7)(2),1])
+            sage: E.discriminant()
+            1
+        """
+        b2, b4, b6, b8 = self.b_invariants()
+        return -b2**2*b8 - 8*b4**3 - 27*b6**2 + 9*b2*b4*b6
+
+    @cached_method
+    def j_invariant(self):
+        r"""
+        Return the `j`-invariant of this elliptic curve.
+
+        This method is cached.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0,0,1,-1,0])
+            sage: E.j_invariant()
+            110592/37
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: E.j_invariant()
+            -122023936/161051
+
+            sage: E = EllipticCurve([-4,0])
+            sage: E.j_invariant()
+            1728
+
+            sage: E = EllipticCurve([GF(7)(2),1])
+            sage: E.j_invariant()
+            1
+        """
+        c4, _ = self.c_invariants()
+        return c4**3 / self.discriminant()
+
+    def base_extend(self, R):
+        r"""
+        Return the base extension of ``self`` to `R`.
+
+        INPUT:
+
+        - ``R`` -- either a ring into which the `a`-invariants of
+          ``self`` may be converted, or a morphism which may be
+          applied to them.
+
+        OUTPUT:
+
+        An elliptic curve over the new ring whose `a`-invariants are
+        the images of the `a`-invariants of ``self``.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(GF(5), [1,1]); E
+            Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field of size 5
+            sage: E1 = E.base_extend(GF(125,'a')); E1                                   # needs sage.rings.finite_rings
+            Elliptic Curve defined by y^2 = x^3 + x + 1 over Finite Field in a of size 5^3
+
+        TESTS:
+
+        Check that we are correctly keeping track of known
+        cardinalities when extending the base field::
+
+            sage: # needs sage.rings.finite_rings
+            sage: E = EllipticCurve(j=GF(7)(5))
+            sage: E.cardinality()
+            10
+            sage: EE = E.base_extend(GF(7^2))
+            sage: EE._order
+            60
+
+        Changing to a smaller field should not cache orders::
+
+            sage: EE = EllipticCurve(j=GF(7^3)(6))                                      # needs sage.rings.finite_rings
+            sage: hasattr(EE.change_ring(GF(7)), '_order')                              # needs sage.rings.finite_rings
+            False
+
+        Changing to a field of different characteristic should
+        not cache orders::
+
+            sage: Elift = E.change_ring(QQ)                                             # needs sage.rings.finite_rings
+            sage: hasattr(Elift, '_order')                                              # needs sage.rings.finite_rings
+            False
+        """
+        E = constructor.EllipticCurve([R(a) for a in self.a_invariants()])
+
+        if isinstance(R, FiniteField) and hasattr(self, '_order') and self.__base_ring.is_subring(R):
+            # The cardinality over an extension field follows easily
+            # from the cardinality over the smaller field.
+            n = R.cardinality().log(self.__base_ring.cardinality())
+            E._order = self.cardinality(extension_degree=n)
+
+        return E
+
+    def change_ring(self, R):
+        """
+        Return the base change of ``self`` to `R`.
+
+        This has the same effect as ``self.base_extend(R)``.
+
+        EXAMPLES::
+
+            sage: # needs sage.rings.finite_rings
+            sage: F2 = GF(5^2,'a'); a = F2.gen()
+            sage: F4 = GF(5^4,'b'); b = F4.gen()
+            sage: roots = a.charpoly().roots(ring=F4, multiplicities=False)
+            sage: h = F2.hom([roots[0]], F4)
+            sage: E = EllipticCurve(F2, [1,a]); E
+            Elliptic Curve defined by y^2 = x^3 + x + a
+            over Finite Field in a of size 5^2
+            sage: E.change_ring(h)
+            Elliptic Curve defined by y^2 = x^3 + x + (4*b^3+4*b^2+4*b+3)
+            over Finite Field in b of size 5^4
+        """
+        return self.base_extend(R)
+
+    def base_ring(self):
+        r"""
+        Return the base ring of the elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(GF(49, 'a'), [3,5])                                 # needs sage.rings.finite_rings
+            sage: E.base_ring()                                                         # needs sage.rings.finite_rings
+            Finite Field in a of size 7^2
+
+        ::
+
+            sage: E = EllipticCurve([1,1])
+            sage: E.base_ring()
+            Rational Field
+
+        ::
+
+            sage: E = EllipticCurve(ZZ, [3,5])
+            sage: E.base_ring()
+            Integer Ring
+        """
+        return self.__base_ring
+
+    def gens(self):
+        r"""
+        Placeholder function to return generators of an elliptic curve.
+
+        .. NOTE::
+
+            This functionality is implemented in certain derived
+            classes, such as EllipticCurve_rational_field.
+
+        EXAMPLES::
+
+            sage: R.<a1,a2,a3,a4,a6> = QQ[]
+            sage: E = EllipticCurve([a1,a2,a3,a4,a6])
+            sage: E.gens()
+            Traceback (most recent call last):
+            ...
+            NotImplementedError: not implemented.
+            sage: E = EllipticCurve(QQ, [1,1])
+            sage: E.gens()                                                              # needs eclib
+            [(0 : 1 : 1)]
+        """
+        raise NotImplementedError("not implemented.")
+
+    def gen(self, i):
+        r"""
+        Function returning the i'th generator of this elliptic curve.
+
+        .. NOTE::
+
+            Relies on gens() being implemented.
+
+        EXAMPLES::
+
+            sage: R.<a1,a2,a3,a4,a6> = QQ[]
+            sage: E = EllipticCurve([a1,a2,a3,a4,a6])
+            sage: E.gen(0)
+            Traceback (most recent call last):
+            ...
+            NotImplementedError: not implemented.
+        """
+        return self.gens()[i]
+
+    def rst_transform(self, r, s, t):
+        r"""
+        Return the transform of the curve by `(r,s,t)` (with `u=1`).
+
+        INPUT:
+
+        - ``r``, ``s``, ``t`` -- three elements of the base ring
+
+        OUTPUT:
+
+        The elliptic curve obtained from ``self`` by the standard
+        Weierstrass transformation `(u,r,s,t)` with `u=1`.
+
+        .. NOTE::
+
+            This is just a special case of
+            :meth:`change_weierstrass_model`, with `u=1`.
+
+        EXAMPLES::
+
+            sage: R.<r,s,t> = QQ[]
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.rst_transform(r, s, t)
+            Elliptic Curve defined by y^2 + (2*s+1)*x*y + (r+2*t+3)*y
+            = x^3 + (-s^2+3*r-s+2)*x^2 + (3*r^2-r*s-2*s*t+4*r-3*s-t+4)*x
+              + (r^3+2*r^2-r*t-t^2+4*r-3*t+5)
+            over Multivariate Polynomial Ring in r, s, t over Rational Field
+        """
+        return self.change_weierstrass_model(1, r, s, t)
+
+    def scale_curve(self, u):
+        r"""
+        Return the transform of the curve by scale factor `u`.
+
+        INPUT:
+
+        - ``u`` -- an invertible element of the base ring
+
+        OUTPUT:
+
+        The elliptic curve obtained from ``self`` by the standard
+        Weierstrass transformation `(u,r,s,t)` with `r=s=t=0`.
+
+        .. NOTE::
+
+            This is just a special case of
+            :meth:`change_weierstrass_model`, with `r=s=t=0`.
+
+        EXAMPLES::
+
+            sage: K = Frac(PolynomialRing(QQ, 'u'))
+            sage: u = K.gen()
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E.scale_curve(u)
+            Elliptic Curve defined by
+            y^2 + u*x*y + 3*u^3*y = x^3 + 2*u^2*x^2 + 4*u^4*x + 5*u^6
+            over Fraction Field of Univariate Polynomial Ring in u over Rational Field
+        """
+        if isinstance(u, int):
+            u = self.base_ring()(u)     # because otherwise 1/u would round!
+        return self.change_weierstrass_model(1/u, 0, 0, 0)
+
+    def isomorphism(self, u, r=0, s=0, t=0, *, is_codomain=False):
+        r"""
+        Given four values `u,r,s,t` in the base ring of this curve, return
+        the :class:`WeierstrassIsomorphism` defined by `u,r,s,t` with this
+        curve as its codomain.
+        (The value `u` must be a unit; the values `r,s,t` default to zero.)
+
+        Optionally, if the keyword argument ``is_codomain`` is set to ``True``,
+        return the isomorphism defined by `u,r,s,t` with this curve as its
+        **co**\domain.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1, 2, 3, 4, 5])
+            sage: iso = E.isomorphism(6); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              To:   Elliptic Curve defined by y^2 + 1/6*x*y + 1/72*y = x^3 + 1/18*x^2 + 1/324*x + 5/46656 over Rational Field
+              Via:  (u,r,s,t) = (6, 0, 0, 0)
+            sage: iso.domain() == E
+            True
+            sage: iso.codomain() == E.scale_curve(1 / 6)
+            True
+
+            sage: iso = E.isomorphism(1, 7, 8, 9); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              To:   Elliptic Curve defined by y^2 + 17*x*y + 28*y = x^3 - 49*x^2 - 54*x + 303 over Rational Field
+              Via:  (u,r,s,t) = (1, 7, 8, 9)
+            sage: iso.domain() == E
+            True
+            sage: iso.codomain() == E.rst_transform(7, 8, 9)
+            True
+
+            sage: iso = E.isomorphism(6, 7, 8, 9); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              To:   Elliptic Curve defined by y^2 + 17/6*x*y + 7/54*y = x^3 - 49/36*x^2 - 1/24*x + 101/15552 over Rational Field
+              Via:  (u,r,s,t) = (6, 7, 8, 9)
+            sage: iso.domain() == E
+            True
+            sage: iso.codomain() == E.rst_transform(7, 8, 9).scale_curve(1 / 6)
+            True
+
+        The ``is_codomain`` argument reverses the role of domain and codomain::
+
+            sage: E = EllipticCurve([1, 2, 3, 4, 5])
+            sage: iso = E.isomorphism(6, is_codomain=True); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + 6*x*y + 648*y = x^3 + 72*x^2 + 5184*x + 233280 over Rational Field
+              To:   Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              Via:  (u,r,s,t) = (6, 0, 0, 0)
+            sage: iso.domain() == E.scale_curve(6)
+            True
+            sage: iso.codomain() == E
+            True
+
+            sage: iso = E.isomorphism(1, 7, 8, 9, is_codomain=True); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 - 15*x*y + 90*y = x^3 - 75*x^2 + 796*x - 2289 over Rational Field
+              To:   Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              Via:  (u,r,s,t) = (1, 7, 8, 9)
+            sage: iso.domain().rst_transform(7, 8, 9) == E
+            True
+            sage: iso.codomain() == E
+            True
+
+            sage: iso = E.isomorphism(6, 7, 8, 9, is_codomain=True); iso
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 - 10*x*y + 700*y = x^3 + 35*x^2 + 9641*x + 169486 over Rational Field
+              To:   Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+              Via:  (u,r,s,t) = (6, 7, 8, 9)
+            sage: iso.domain().rst_transform(7, 8, 9) == E.scale_curve(6)
+            True
+            sage: iso.codomain() == E
+            True
+
+        .. SEEALSO::
+
+            - :class:`~sage.schemes.elliptic_curves.weierstrass_morphism.WeierstrassIsomorphism`
+            - :meth:`rst_transform`
+            - :meth:`scale_curve`
+        """
+        from sage.schemes.elliptic_curves.weierstrass_morphism import WeierstrassIsomorphism
+        if is_codomain:
+            return WeierstrassIsomorphism(None, (u,r,s,t), self)
+        return WeierstrassIsomorphism(self, (u,r,s,t))
+
+# ###########################################################
+#
+# Explanation of the division (also known as torsion) polynomial
+# functions in Sage.
+#
+# The main user function division_polynomial() (also aliased as
+# torsion_polynomial()) is used to compute polynomials whose roots
+# determine the m-torsion points on the curve.  Three options are
+# available, which effect the result when m is even and also the
+# parent ring of the returned value.  The function can return either a
+# polynomial or the evaluation of that polynomial at a point,
+# depending on the input.  Values are cached.
+#
+# The options are controlled by the value of the parameter
+# two_torsion_multiplicity, which may be 0, 1 or 2.  If it is 0 or 2,
+# then a univariate polynomial will be returned (or evaluated at the
+# parameter x if x is not None).  This is the polynomial whose roots
+# are the values of x(P) at the nonzero points P where m*P=0
+# (when two_torsion_multiplicity==2), or the points where m*P=0 but
+# 2*P\not=0 (when two_torsion_multiplicity==0).
+#
+# If two_torsion_multiplicity==1, then a bivariate polynomial is
+# returned, which (as a function on the curve) has a simple zero at
+# each nonzero point P such that m*P=0.  When m is odd this is a
+# polynomial in x alone, but is still returned as an element of a
+# polynomial ring in two variables; when m is even it has a factor
+# 2y+a_1x+a_3.  In this case if the parameter x is not None then it
+# should be a tuple of length 2, or a point P on the curve, and the
+# returned value is the value of the bivariate polynomial at this
+# point.
+#
+# Comparison with Magma: Magma's function DivisionPolynomial(E,m)
+# returns a triple of univariate polynomials f,g,h where f is
+# \code{E.division_polynomial(m,two_torsion_multiplicity=2)}, g is
+# \code{E.division_polynomial(m,two_torsion_multiplicity=0)} and h
+# is the quotient, so that h=1 when m is odd.
+
+# ###########################################################
+
+    def division_polynomial_0(self, n, x=None):
+        r"""
+        Return the `n`-th torsion (division) polynomial, without
+        the 2-torsion factor if `n` is even, as a polynomial in `x`.
+
+        These are the polynomials `g_n` defined in [MT1991]_, but with
+        the sign flipped for even `n`, so that the leading coefficient is
+        always positive.
+
+        .. NOTE::
+
+            This function is intended for internal use; users should use
+            :meth:`division_polynomial`.
+
+        .. SEEALSO::
+
+            - :meth:`division_polynomial`
+            - :meth:`_multiple_x_numerator`
+            - :meth:`_multiple_x_denominator`
+
+        INPUT:
+
+        - ``n`` -- positive integer, or the special values ``-1`` and ``-2``
+          which mean `B_6 = (2y + a_1 x + a_3)^2` and `B_6^2` respectively (in
+          the notation of [MT1991]_), or a list of integers
+
+        - ``x`` -- a ring element to use as the "x" variable or ``None``
+          (default: ``None``); if ``None``, then a new polynomial ring will
+          be constructed over the base ring of the elliptic curve, and its
+          generator will be used as ``x``. Note that ``x`` does not need to
+          be a generator of a polynomial ring; any ring element is ok. This
+          permits fast calculation of the torsion polynomial *evaluated* on
+          any element of a ring.
+
+        ALGORITHM:
+
+        Recursion described in [MT1991]_. The recursive
+        formulae are evaluated `O(\log^2 n)` times.
+
+        AUTHORS:
+
+        - David Harvey (2006-09-24): initial version
+
+        - John Cremona (2008-08-26): unified division polynomial code
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve("37a")
+            sage: E.division_polynomial_0(1)
+            1
+            sage: E.division_polynomial_0(2)
+            1
+            sage: E.division_polynomial_0(3)
+            3*x^4 - 6*x^2 + 3*x - 1
+            sage: E.division_polynomial_0(4)
+            2*x^6 - 10*x^4 + 10*x^3 - 10*x^2 + 2*x + 1
+            sage: E.division_polynomial_0(5)
+            5*x^12 - 62*x^10 + 95*x^9 - 105*x^8 - 60*x^7 + 285*x^6 - 174*x^5 - 5*x^4 - 5*x^3 + 35*x^2 - 15*x + 2
+            sage: E.division_polynomial_0(6)
+            3*x^16 - 72*x^14 + 168*x^13 - 364*x^12 + 1120*x^10 - 1144*x^9 + 300*x^8 - 540*x^7 + 1120*x^6 - 588*x^5 - 133*x^4 + 252*x^3 - 114*x^2 + 22*x - 1
+            sage: E.division_polynomial_0(7)
+            7*x^24 - 308*x^22 + 986*x^21 - 2954*x^20 + 28*x^19 + 17171*x^18 - 23142*x^17 + 511*x^16 - 5012*x^15 + 43804*x^14 - 7140*x^13 - 96950*x^12 + 111356*x^11 - 19516*x^10 - 49707*x^9 + 40054*x^8 - 124*x^7 - 18382*x^6 + 13342*x^5 - 4816*x^4 + 1099*x^3 - 210*x^2 + 35*x - 3
+            sage: E.division_polynomial_0(8)
+            4*x^30 - 292*x^28 + 1252*x^27 - 5436*x^26 + 2340*x^25 + 39834*x^24 - 79560*x^23 + 51432*x^22 - 142896*x^21 + 451596*x^20 - 212040*x^19 - 1005316*x^18 + 1726416*x^17 - 671160*x^16 - 954924*x^15 + 1119552*x^14 + 313308*x^13 - 1502818*x^12 + 1189908*x^11 - 160152*x^10 - 399176*x^9 + 386142*x^8 - 220128*x^7 + 99558*x^6 - 33528*x^5 + 6042*x^4 + 310*x^3 - 406*x^2 + 78*x - 5
+
+        ::
+
+            sage: E.division_polynomial_0(18) % E.division_polynomial_0(6) == 0
+            True
+
+        An example to illustrate the relationship with torsion points::
+
+            sage: F = GF(11)
+            sage: E = EllipticCurve(F, [0, 2]); E
+            Elliptic Curve defined by y^2  = x^3 + 2 over Finite Field of size 11
+            sage: f = E.division_polynomial_0(5); f
+            5*x^12 + x^9 + 8*x^6 + 4*x^3 + 7
+            sage: f.factor()
+            (5) * (x^2 + 5) * (x^2 + 2*x + 5) * (x^2 + 5*x + 7)
+             * (x^2 + 7*x + 7) * (x^2 + 9*x + 5) * (x^2 + 10*x + 7)
+
+        This indicates that the `x`-coordinates of all the 5-torsion points of
+        `E` are in `\GF{11^2}`, and therefore the `y`-coordinates are in
+        `\GF{11^4}`::
+
+            sage: # needs sage.rings.finite_rings
+            sage: K = GF(11^4, 'a')
+            sage: X = E.change_ring(K)
+            sage: f = X.division_polynomial_0(5)
+            sage: x_coords = f.roots(multiplicities=False); x_coords
+            [10*a^3 + 4*a^2 + 5*a + 6,
+             9*a^3 + 8*a^2 + 10*a + 8,
+             8*a^3 + a^2 + 4*a + 10,
+             8*a^3 + a^2 + 4*a + 8,
+             8*a^3 + a^2 + 4*a + 4,
+             6*a^3 + 9*a^2 + 3*a + 4,
+             5*a^3 + 2*a^2 + 8*a + 7,
+             3*a^3 + 10*a^2 + 7*a + 8,
+             3*a^3 + 10*a^2 + 7*a + 3,
+             3*a^3 + 10*a^2 + 7*a + 1,
+             2*a^3 + 3*a^2 + a + 7,
+             a^3 + 7*a^2 + 6*a]
+
+        Now we check that these are exactly the `x`-coordinates of the
+        5-torsion points of `E`::
+
+            sage: for x in x_coords:                                                    # needs sage.rings.finite_rings
+            ....:     assert X.lift_x(x).order() == 5
+
+        The roots of the polynomial are the `x`-coordinates of the points `P`
+        such that `mP=0` but `2P\not=0`::
+
+            sage: E = EllipticCurve('14a1')
+            sage: T = E.torsion_subgroup()
+            sage: [n*T.0 for n in range(6)]
+            [(0 : 1 : 0),
+            (9 : 23 : 1),
+            (2 : 2 : 1),
+            (1 : -1 : 1),
+            (2 : -5 : 1),
+            (9 : -33 : 1)]
+            sage: pol = E.division_polynomial_0(6)
+            sage: xlist = pol.roots(multiplicities=False); xlist
+            [9, 2, -1/3, -5]
+            sage: [E.lift_x(x, all=True) for x in xlist]
+            [[(9 : -33 : 1), (9 : 23 : 1)], [(2 : -5 : 1), (2 : 2 : 1)], [], []]
+
+        .. NOTE::
+
+            The point of order 2 and the identity do not appear.
+            The points with `x=-1/3` and `x=-5` are not rational.
+        """
+        if x is None:
+            # The generic division polynomials should be cached "forever".
+            cache = self.__divpolys[0]
+            x = polygen(self.base_ring())
+        else:
+            # For other inputs, we use a temporary cache.
+            cache = {}
+
+        b2, b4, b6, b8 = self.b_invariants()
+
+        def poly(n):
+            try:
+                return cache[n]
+            except KeyError:
+                pass
+            if n == -2:
+                ret = poly(-1)**2
+            elif n == -1:
+                ret = 4*x**3 + b2*x**2 + 2*b4*x + b6
+            elif n <= 0:
+                raise ValueError("n must be a positive integer (or -1 or -2)")
+            elif n == 1 or n == 2:
+                ret = x.parent().one()
+            elif n == 3:
+                ret = 3*x**4 + b2*x**3 + 3*b4*x**2 + 3*b6*x + b8
+            elif n == 4:
+                ret = -poly(-2) + (6*x**2 + b2*x + b4) * poly(3)
+            elif n % 2 == 0:
+                m = (n-2) // 2
+                ret = poly(m+1) * (poly(m+3) * poly(m)**2 - poly(m-1) * poly(m+2)**2)
+            else:
+                m = (n-1) // 2
+                if m % 2 == 0:
+                    ret = poly(-2) * poly(m+2) * poly(m)**3 - poly(m-1) * poly(m+1)**3
+                else:
+                    ret = poly(m+2) * poly(m)**3 - poly(-2) * poly(m-1) * poly(m+1)**3
+            cache[n] = ret
+            return ret
+
+        if not isinstance(n, (list, tuple)):
+            return poly(int(n))
+        else:
+            return [poly(int(k)) for k in n]
+
+    def two_division_polynomial(self, x=None):
+        r"""
+        Return the 2-division polynomial of this elliptic curve evaluated
+        at ``x``.
+
+        INPUT:
+
+        - ``x`` -- (optional) ring element to use as the `x` variable.
+          If ``x`` is ``None``, then a new polynomial ring will be
+          constructed over the base ring of the elliptic curve, and
+          its generator will be used as ``x``. Note that ``x`` does
+          not need to be a generator of a polynomial ring; any ring
+          element is acceptable. This permits fast calculation of the
+          torsion polynomial *evaluated* on any element of a ring.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('5077a1')
+            sage: E.two_division_polynomial()
+            4*x^3 - 28*x + 25
+            sage: E = EllipticCurve(GF(3^2,'a'), [1,1,1,1,1])                           # needs sage.rings.finite_rings
+            sage: E.two_division_polynomial()                                           # needs sage.rings.finite_rings
+            x^3 + 2*x^2 + 2
+            sage: E.two_division_polynomial().roots()                                   # needs sage.rings.finite_rings
+            [(2, 1), (2*a, 1), (a + 2, 1)]
+        """
+        return self.division_polynomial_0(-1,x)
+
+    def division_polynomial(self, m, x=None, two_torsion_multiplicity=2, force_evaluate=None):
+        r"""
+        Return the `m`-th division polynomial of this elliptic
+        curve evaluated at `x`.
+
+        The division polynomial is cached if `x` is ``None``.
+
+        INPUT:
+
+        - ``m`` -- positive integer
+
+        - ``x`` -- (optional) ring element to use as the `x` variable.
+          If `x` is ``None`` (omitted), then a new polynomial ring will be
+          constructed over the base ring of the elliptic curve, and its
+          generator will be used as `x`. Note that `x` does not need to
+          be a generator of a polynomial ring; any ring element works. This
+          permits fast calculation of the torsion polynomial *evaluated* on
+          any element of a ring.
+
+        - ``two_torsion_multiplicity`` -- 0, 1, or 2
+
+          If 0: For even `m` when `x` is ``None``, a univariate polynomial
+          over the base ring of the curve is returned, which omits factors
+          whose roots are the `x`-coordinates of the `2`-torsion points.
+          When `x` is not ``None``, the evaluation of such a polynomial at
+          `x` is returned.
+
+          If 2: For even `m` when `x` is ``None``, a univariate polynomial
+          over the base ring of the curve is returned, which includes a
+          factor of degree 3 whose roots are the `x`-coordinates of the
+          `2`-torsion points.
+          Similarly, when `x` is not ``None``, the evaluation of such a
+          polynomial at `x` is returned.
+
+          If 1: For even `m` when `x` is ``None``, a bivariate polynomial
+          over the base ring of the curve is returned, which includes a
+          factor `2y+a_1x+a_3` having simple zeros at the `2`-torsion points.
+          When `x` is not ``None``, it should be a tuple of length 2, and
+          the evaluation of such a polynomial at `x` is returned.
+
+        - ``force_evaluate`` -- (optional) 0, 1, or 2
+
+          By default, this method makes use of previously cached generic
+          division polynomials to compute the value of the polynomial at
+          a given element `x` whenever it appears beneficial to do so.
+          Explicitly setting this flag overrides the default behavior.
+
+          Note that the complexity of evaluating a generic division
+          polynomial scales much worse than that of computing the value
+          at a point directly (using the recursive formulas), hence
+          setting this flag can be detrimental to performance.
+
+          If 0: Do not use cached generic division polynomials.
+
+          If 1: If the generic division polynomial for this `m` has been
+          cached before, evaluate it at `x` to compute the result.
+
+          If 2: Compute the value at `x` by evaluating the generic
+          division polynomial. If the generic `m`-division polynomial
+          has not yet been cached, compute and cache it first.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0,0,1,-1,0])
+            sage: E.division_polynomial(1)
+            1
+            sage: E.division_polynomial(2, two_torsion_multiplicity=0)
+            1
+            sage: E.division_polynomial(2, two_torsion_multiplicity=1)
+            2*y + 1
+            sage: E.division_polynomial(2, two_torsion_multiplicity=2)
+            4*x^3 - 4*x + 1
+            sage: E.division_polynomial(2)
+            4*x^3 - 4*x + 1
+            sage: [E.division_polynomial(3, two_torsion_multiplicity=i) for i in range(3)]
+            [3*x^4 - 6*x^2 + 3*x - 1, 3*x^4 - 6*x^2 + 3*x - 1, 3*x^4 - 6*x^2 + 3*x - 1]
+            sage: [type(E.division_polynomial(3, two_torsion_multiplicity=i)) for i in range(3)]
+            [<... 'sage.rings.polynomial.polynomial_rational_flint.Polynomial_rational_flint'>,
+             <... 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular'>,
+             <... 'sage.rings.polynomial.polynomial_rational_flint.Polynomial_rational_flint'>]
+
+        ::
+
+            sage: E = EllipticCurve([0, -1, 1, -10, -20])
+            sage: R.<z> = PolynomialRing(QQ)
+            sage: E.division_polynomial(4, z, 0)
+            2*z^6 - 4*z^5 - 100*z^4 - 790*z^3 - 210*z^2 - 1496*z - 5821
+            sage: E.division_polynomial(4, z)
+            8*z^9 - 24*z^8 - 464*z^7 - 2758*z^6 + 6636*z^5 + 34356*z^4
+             + 53510*z^3 + 99714*z^2 + 351024*z + 459859
+
+        This does not work, since when two_torsion_multiplicity is 1, we
+        compute a bivariate polynomial, and must evaluate at a tuple of
+        length 2::
+
+            sage: E.division_polynomial(4,z,1)
+            Traceback (most recent call last):
+            ...
+            ValueError: x should be a tuple of length 2 (or None)
+            when two_torsion_multiplicity is 1
+            sage: R.<z,w> = PolynomialRing(QQ, 2)
+            sage: E.division_polynomial(4, (z,w), 1).factor()
+            (2*w + 1) * (2*z^6 - 4*z^5 - 100*z^4 - 790*z^3 - 210*z^2 - 1496*z - 5821)
+
+        We can also evaluate this bivariate polynomial at a point::
+
+            sage: P = E(5,5)
+            sage: E.division_polynomial(4,P,two_torsion_multiplicity=1)
+            -1771561
+
+        TESTS:
+
+        Check that :issue:`33164` is fixed::
+
+            sage: E = EllipticCurve('11a3')
+            sage: R.<X> = QQ[]
+            sage: S.<Y> = R.quotient(X^2)
+            sage: E.division_polynomial(5, x=Y)
+            -5*Y
+            sage: E.division_polynomial(5, x=X)
+            5*X^12 - 20*X^11 + 16*X^10 + 95*X^9 - 285*X^8 + 360*X^7 - 255*X^6 + 94*X^5 + 15*X^4 - 45*X^3 + 25*X^2 - 5*X
+
+        Tests for the ``force_evaluate`` argument::
+
+            sage: E.division_polynomial(5, x=Y, force_evaluate=0)
+            -5*Y
+            sage: E.division_polynomial(5, x=Y, force_evaluate=1)
+            -5*Y
+            sage: E.division_polynomial(5, x=Y, force_evaluate=2)
+            -5*Y
+            sage: E._EllipticCurve_generic__divpolys[2]
+            {5: 5*x^12 - 20*x^11 + 16*x^10 + 95*x^9 - 285*x^8 + 360*x^7 - 255*x^6 + 94*x^5 + 15*x^4 - 45*x^3 + 25*x^2 - 5*x}
+            sage: E._EllipticCurve_generic__divpolys[2][5] += 1  # poison cache
+            sage: E.division_polynomial(5, x=Y, force_evaluate=0)
+            -5*Y
+            sage: E.division_polynomial(5, x=Y, force_evaluate=1)
+            -5*Y + 1
+            sage: E.division_polynomial(5, x=Y, force_evaluate=2)
+            -5*Y + 1
+        """
+        if two_torsion_multiplicity not in (0, 1, 2):
+            raise ValueError("two_torsion_multiplicity must be 0, 1, or 2")
+
+        if x is not None and two_torsion_multiplicity == 1:
+            if isinstance(x, ell_point.EllipticCurvePoint_field):
+                x = x.xy()
+            if not (isinstance(x, tuple) and len(x) == 2):
+                raise ValueError("x should be a tuple of length 2 (or None) when two_torsion_multiplicity is 1")
+
+        m = Integer(m)
+
+        if x is None:
+            try:
+                return self.__divpolys[two_torsion_multiplicity][m]
+            except KeyError:
+                pass
+
+        evaluate = False
+        if force_evaluate is not None:
+            evaluate = force_evaluate
+        elif x is not None:
+            # Univariate polynomials are much faster---this signals that the
+            # result should first be computed as an univariate polynomial and
+            # only then converted, even if it is not yet cached.
+            if polynomial_is_variable(x) and x.base_ring() is self.base_ring():
+                evaluate = 2
+
+            # Evaluating a precomputed polynomial is linear in the degree,
+            # while the recursive definition is only logarithmic. For small
+            # inputs, evaluation can be better nevertheless.
+            # The following cutoffs were estimated based on experiments in
+            # January 2022 (using Sage version 9.5.rc0).
+            elif x in self.base_ring():
+                evaluate = m < 100
+            elif isinstance(x, PolynomialQuotientRingElement) and x.lift().is_gen() \
+                    and x.lift().base_ring() is self.base_ring():
+                d = x.parent().modulus().degree()
+                evaluate = m < 220 or \
+                    (d < 10 and m < 420) or (d < 15 and m < 340) or \
+                    (d < 30 and m < 280) or (d < 100 and m < 250) or \
+                    m <= min(250, d)
+
+        # Check if we should (attempt to) compute the result by simply
+        # evaluating a cached polynomial at the given input.
+        if evaluate:
+            try:
+                return self.__divpolys[two_torsion_multiplicity][m](x)
+            except KeyError:
+                if evaluate == 2:
+                    return self.division_polynomial(m, two_torsion_multiplicity=two_torsion_multiplicity)(x)
+
+        # If not, .division_polynomial_0() will do the real work for us.
+        if two_torsion_multiplicity == 0:
+            return self.division_polynomial_0(m, x)
+
+        should_cache = x is None
+
+        if two_torsion_multiplicity == 1:
+            x,y = x if x is not None else (None,None)
+
+        if evaluate and m in self.__divpolys[0]:
+            f = self.__divpolys[0][m](x)
+        else:
+            f = self.division_polynomial_0(m, x)
+
+        if two_torsion_multiplicity == 2:
+            if m % 2 == 0:
+                f *= self.division_polynomial_0(-1, x)
+        elif two_torsion_multiplicity == 1:
+            if x is y is None:
+                x,y = polygens(self.base_ring(), 'x,y')
+                f = f(x)
+            if m % 2 == 0:
+                f *= 2*y + self.a1()*x + self.a3()
+
+        if should_cache:
+            self.__divpolys[two_torsion_multiplicity][m] = f
+        return f
+
+    torsion_polynomial = division_polynomial
+
+    def _multiple_x_numerator(self, n, x=None):
+        r"""
+        Return the numerator of the `x`-coordinate of the `n\th` multiple of a
+        point, using torsion polynomials (division polynomials).
+
+        INPUT:
+
+        - ``n``, ``x`` -- as described in :meth:`division_polynomial_0`
+
+        If ``x`` is ``None``, the result is cached.  This is so that on calling
+        ``P.division_points(n)`` for the same `n` and different points `P` (on
+        the same curve), we do not have to recompute the polynomials.
+
+        .. WARNING::
+
+            There may of course be cancellation between the numerator and the
+            denominator (:meth:`_multiple_x_denominator`). Be careful. E.g. if
+            a point on an elliptic curve with coefficients in `\ZZ` reduces to
+            a singular point modulo a prime, then there will be cancellation,
+            otherwise not, see [Wu2004]_.
+
+        .. SEEALSO::
+
+            :meth:`_multiple_x_denominator`
+
+        AUTHORS:
+
+        - David Harvey (2006-09-24)
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2])
+            sage: E._multiple_x_numerator(3)
+            x^9 - 12*x^7 - 192*x^6 + 30*x^5 - 48*x^4 + 228*x^3 + 96*x^2 + 393*x + 528
+            sage: E._multiple_x_numerator(-3)
+            x^9 - 12*x^7 - 192*x^6 + 30*x^5 - 48*x^4 + 228*x^3 + 96*x^2 + 393*x + 528
+
+        ::
+
+            sage: E = EllipticCurve("37a")
+            sage: P = E.gens()[0]                                                       # needs eclib
+            sage: x = P[0]                                                              # needs eclib
+
+        ::
+
+            sage: # needs eclib
+            sage: (35*P)[0]
+            -804287518035141565236193151/1063198259901027900600665796
+            sage: E._multiple_x_numerator(35, x)
+            -804287518035141565236193151
+            sage: E._multiple_x_denominator(35, x)
+            1063198259901027900600665796
+
+        ::
+
+            sage: # needs eclib
+            sage: (36*P)[0]
+            54202648602164057575419038802/15402543997324146892198790401
+            sage: E._multiple_x_numerator(36, x)
+            54202648602164057575419038802
+            sage: E._multiple_x_denominator(36, x)
+            15402543997324146892198790401
+
+        An example where cancellation occurs::
+
+            sage: E = EllipticCurve("88a1")
+            sage: P = E([2,2])   # fixed choice of generator
+            sage: n = E._multiple_x_numerator(11, P[0]); n
+            442446784738847563128068650529343492278651453440
+            sage: d = E._multiple_x_denominator(11, P[0]); d
+            1427247692705959881058285969449495136382746624
+            sage: n/d
+            310
+            sage: 11*P
+            (310 : -5458 : 1)
+
+        TESTS:
+
+        Check that the results are cached::
+
+            sage: E = EllipticCurve("88a1")
+            sage: E._multiple_x_numerator(11) is E._multiple_x_numerator(11)
+            True
+
+        Check for :issue:`33156`::
+
+            sage: # needs sage.rings.finite_rings
+            sage: E = EllipticCurve(GF(65537), [5,5])
+            sage: R.<x> = E.base_field()[]
+            sage: E._multiple_x_numerator(5, x=R.quotient(x^2).gen())
+            10220*xbar + 42539
+            sage: E._multiple_x_numerator(5)
+            x^25 + 65037*x^23 + 55137*x^22 + ... + 813*x^2 + 10220*x + 42539
+        """
+        n = Integer(n).abs()
+        if not n:
+            raise ValueError("n must be nonzero")
+
+        if x is None:
+            try:
+                cache = self.__mulxnums
+            except AttributeError:
+                cache = self.__mulxnums = {}
+            try:
+                return cache[n]
+            except KeyError:
+                pass
+            xx = polygen(self.base_ring())
+        else:
+            cache = None
+            xx = x
+
+        if n == 1:
+            return xx
+
+        polys = self.division_polynomial_0([-2,-1,n-1,n,n+1], x)
+
+        if n % 2 == 0:
+            ret = xx * polys[1] * polys[3]**2 - polys[2] * polys[4]
+        else:
+            ret = xx * polys[3]**2 - polys[1] * polys[2] * polys[4]
+
+        if cache is not None:
+            cache[n] = ret
+        return ret
+
+    def _multiple_x_denominator(self, n, x=None):
+        r"""
+        Return the denominator of the `x`-coordinate of the `n\th` multiple of
+        a point, using torsion polynomials (division polynomials).
+
+        INPUT:
+
+        - ``n``, ``x`` -- as described in :meth:`division_polynomial_0`
+
+        If ``x`` is ``None``, the result is cached.  This is so that on calling
+        ``P.division_points(n)`` for the same `n` and different points `P` (on
+        the same curve), we do not have to recompute the polynomials.
+
+        AUTHORS:
+
+        - David Harvey (2006-09-24)
+
+        .. SEEALSO::
+
+            :meth:`multiple_x_numerator`
+
+        .. TODO::
+
+            The numerator and denominator versions share a calculation, namely
+            squaring `\psi_n`. Maybe would be good to offer a combined version
+            to make this more efficient.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2])
+            sage: E._multiple_x_denominator(3)
+            9*x^8 + 36*x^6 + 144*x^5 + 30*x^4 + 288*x^3 + 564*x^2 - 48*x + 1
+            sage: E._multiple_x_denominator(-3)
+            9*x^8 + 36*x^6 + 144*x^5 + 30*x^4 + 288*x^3 + 564*x^2 - 48*x + 1
+
+        ::
+
+            sage: # needs eclib
+            sage: E = EllipticCurve("43a")
+            sage: P = E.gens()[0]
+            sage: x = P[0]
+            sage: (31*P)[0]
+            -33058398375463796474831580/154693637754223970056975321
+            sage: E._multiple_x_numerator(31, x)
+            -33058398375463796474831580
+            sage: E._multiple_x_denominator(31, x)
+            154693637754223970056975321
+
+        TESTS:
+
+        Check that the results are cached::
+
+            sage: E = EllipticCurve("88a1")
+            sage: E._multiple_x_denominator(11) is E._multiple_x_denominator(11)
+            True
+
+        Check for :issue:`33156`::
+
+            sage: # needs sage.rings.finite_rings
+            sage: E = EllipticCurve(GF(65537), [5,5])
+            sage: R.<x> = E.base_field()[]
+            sage: E._multiple_x_denominator(5, x=R.quotient(x^2).gen())
+            52039*xbar + 56726
+            sage: E._multiple_x_denominator(5)
+            25*x^24 + 3100*x^22 + 19000*x^21 + ... + 24111*x^2 + 52039*x + 56726
+        """
+        n = Integer(n).abs()
+        if not n:
+            raise ValueError("n must be nonzero")
+
+        if x is None:
+            try:
+                cache = self.__mulxdens
+            except AttributeError:
+                cache = self.__mulxdens = {}
+            try:
+                return cache[n]
+            except KeyError:
+                pass
+        else:
+            cache = None
+
+        ret = self.division_polynomial_0(n, x)**2
+        if n % 2 == 0:
+            ret *= self.division_polynomial_0(-1, x)
+
+        if cache is not None:
+            cache[n] = ret
+        return ret
+
+    def multiplication_by_m(self, m, x_only=False):
+        r"""
+        Return the multiplication-by-`m` map from ``self`` to ``self``.
+
+        The result is a pair of rational functions in two variables
+        `x`, `y` (or a rational function in one variable `x` if
+        ``x_only`` is ``True``).
+
+        INPUT:
+
+        - ``m`` -- nonzero integer
+
+        - ``x_only`` -- boolean (default: ``False``); if ``True``, return only
+          the `x`-coordinate of the map (as a rational function in one variable)
+
+        OUTPUT:
+
+        - a pair `(f(x), g(x,y))`, where `f` and `g` are rational
+          functions with the degree of `y` in `g(x,y)` exactly 1,
+
+        - or just `f(x)` if ``x_only`` is ``True``
+
+        .. NOTE::
+
+            - The result is not cached.
+
+            - ``m`` is allowed to be negative (but not 0).
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([-1,3])
+
+        We verify that multiplication by 1 is just the identity::
+
+            sage: E.multiplication_by_m(1)
+            (x, y)
+
+        Multiplication by 2 is more complicated::
+
+            sage: f = E.multiplication_by_m(2)
+            sage: f
+            ((x^4 + 2*x^2 - 24*x + 1)/(4*x^3 - 4*x + 12),
+             (8*x^6*y - 40*x^4*y + 480*x^3*y - 40*x^2*y + 96*x*y - 568*y)/(64*x^6 - 128*x^4 + 384*x^3 + 64*x^2 - 384*x + 576))
+
+        Grab only the x-coordinate (less work)::
+
+            sage: mx = E.multiplication_by_m(2, x_only=True); mx
+            (1/4*x^4 + 1/2*x^2 - 6*x + 1/4)/(x^3 - x + 3)
+            sage: mx.parent()
+            Fraction Field of Univariate Polynomial Ring in x over Rational Field
+
+        We check that it works on a point::
+
+            sage: P = E([2,3])
+            sage: eval = lambda f,P: [fi(P[0],P[1]) for fi in f]
+            sage: assert E(eval(f,P)) == 2*P
+
+        We do the same but with multiplication by 3::
+
+            sage: f = E.multiplication_by_m(3)
+            sage: assert E(eval(f,P)) == 3*P
+
+        And the same with multiplication by 4::
+
+            sage: f = E.multiplication_by_m(4)
+            sage: assert E(eval(f,P)) == 4*P
+
+        And the same with multiplication by -1,-2,-3,-4::
+
+            sage: for m in [-1,-2,-3,-4]:
+            ....:     f = E.multiplication_by_m(m)
+            ....:     assert E(eval(f,P)) == m*P
+
+        TESTS:
+
+        Verify for this fairly random looking curve and point that
+        multiplication by m returns the right result for the first 10
+        integers::
+
+            sage: E = EllipticCurve([23,-105])
+            sage: P = E([129/4, 1479/8])
+            sage: for n in [1..10]:
+            ....:     f = E.multiplication_by_m(n)
+            ....:     Q = n*P
+            ....:     assert Q == E(eval(f,P))
+            ....:     f = E.multiplication_by_m(-n)
+            ....:     Q = -n*P
+            ....:     assert Q == E(eval(f,P))
+
+        The following test shows that :issue:`4364` is indeed fixed::
+
+            sage: # needs sage.rings.finite_rings
+            sage: p = next_prime(2^30 - 41)
+            sage: a = GF(p)(1)
+            sage: b = GF(p)(1)
+            sage: E = EllipticCurve([a, b])
+            sage: P = E.random_point()
+            sage: my_eval = lambda f,P: [fi(P[0],P[1]) for fi in f]
+            sage: f = E.multiplication_by_m(2)
+            sage: assert(E(eval(f,P)) == 2*P)
+
+        The following test shows that :issue:`6413` is fixed for elliptic curves over finite fields::
+            sage: p = 7
+            sage: K.<a> = GF(p^2)
+            sage: E = EllipticCurve(K, [a + 3, 5 - a])
+            sage: k = p^2 * 3
+            sage: f, g = E.multiplication_by_m(k)
+            sage: for _ in range(100):
+            ....:     P = E.random_point()
+            ....:     if P * k == 0:
+            ....:         continue
+            ....:     Qx = f.subs(x=P[0])
+            ....:     Qy = g.subs(x=P[0], y=P[1])
+            ....:     assert (P * k).xy() == (Qx, Qy)
+
+        However, it still fails for elliptic curves over positive-characteristic fields::
+
+            sage: F.<a> = FunctionField(GF(7))
+            sage: E = EllipticCurve(F, [a, 1 / a])
+            sage: E.multiplication_by_m(7)
+            Traceback (most recent call last):
+            ...
+            NotImplementedError: multiplication by integer not coprime to p is only implemented for curves over finite fields
+
+        ::
+
+            sage: p = 7
+            sage: K.<a> = GF(p^2)
+            sage: E = EllipticCurve(j=K.random_element())
+            sage: E.multiplication_by_m(p * 2)[0] == E.multiplication_by_m(p * 2, x_only=True)
+            True
+        """
+        # Coerce the input m to be an integer
+        m = Integer(m)
+        p = self.base_ring().characteristic()
+
+        if m == 0:
+            raise ValueError("m must be a nonzero integer")
+
+        if x_only:
+            x = polygen(self.base_ring(), 'x')
+        else:
+            from sage.rings.finite_rings.finite_field_base import FiniteField as FiniteField_generic
+            if p != 0 and m % p == 0 and not isinstance(self.base_ring(), FiniteField_generic):
+                # TODO: Implement the correct formula?
+                raise NotImplementedError("multiplication by integer not coprime to p "
+                                          "is only implemented for curves over finite fields")
+            x, y = polygens(self.base_ring(), 'x,y')
+
+        # Special case of multiplication by 1 is easy.
+        if m == 1:
+            if not x_only:
+                return (x, y)
+            else:
+                return x
+
+        # Grab curve invariants
+        a1, _, a3, _, _ = self.a_invariants()
+
+        if m == -1:
+            if not x_only:
+                return (x, -y-a1*x-a3)
+            else:
+                return x
+
+        # If we only require the x coordinate, it is faster to use the recursive formula
+        # since substituting polynomials is quite slow.
+        v_p = 0 if p == 0 else valuation(m, p)
+        if not x_only:
+            m //= p**v_p
+
+        # the x-coordinate does not depend on the sign of m. The work
+        # here is done by functions defined earlier:
+
+        mx = (x.parent()(self._multiple_x_numerator(m.abs(), x))
+              / x.parent()(self._multiple_x_denominator(m.abs(), x)))
+
+        if x_only:
+            return mx
+
+        # Consideration of the invariant differential
+        # w=dx/(2*y+a1*x+a3) shows that m*w = d(mx)/(2*my+a1*mx+a3)
+        # and hence 2*my+a1*mx+a3 = (1/m)*(2*y+a1*x+a3)*d(mx)/dx
+        my = ((2*y+a1*x+a3)*mx.derivative(x)/m - a1*mx-a3)/2
+
+        if v_p > 0:
+            isog = self.multiplication_by_p_isogeny()**v_p
+            fx, fy = isog.rational_maps()
+            # slow...
+            mx = mx.subs(x=fx)
+            my = my.subs(x=fx, y=fy)
+
+        return mx, my
+
+    def scalar_multiplication(self, m):
+        r"""
+        Return the scalar-multiplication map `[m]` on this elliptic
+        curve as a
+        :class:`sage.schemes.elliptic_curves.hom_scalar.EllipticCurveHom_scalar`
+        object.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('77a1')
+            sage: m = E.scalar_multiplication(-7); m
+            Scalar-multiplication endomorphism [-7]
+             of Elliptic Curve defined by y^2 + y = x^3 + 2*x over Rational Field
+            sage: m.degree()
+            49
+            sage: P = E(2,3)
+            sage: m(P)
+            (-26/225 : -2132/3375 : 1)
+            sage: m.rational_maps() == E.multiplication_by_m(-7)
+            True
+
+        ::
+
+            sage: E = EllipticCurve('11a1')
+            sage: E.scalar_multiplication(7)
+            Scalar-multiplication endomorphism [7]
+             of Elliptic Curve defined by y^2 + y = x^3 - x^2 - 10*x - 20 over Rational Field
+
+        TESTS:
+
+        Tests for :issue:`32490`::
+
+            sage: E = EllipticCurve(QQbar, [1,0])                                       # needs sage.rings.number_field
+            sage: E.scalar_multiplication(1).rational_maps()                      # needs sage.rings.number_field
+            (x, y)
+
+        ::
+
+            sage: E = EllipticCurve_from_j(GF(31337).random_element())                  # needs sage.rings.finite_rings
+            sage: P = E.random_point()                                                  # needs sage.rings.finite_rings
+            sage: [E.scalar_multiplication(m)(P) == m*P for m in (1,2,3,5,7,9)]   # needs sage.rings.finite_rings
+            [True, True, True, True, True, True]
+
+        ::
+
+            sage: E = EllipticCurve('99.a1')
+            sage: E.scalar_multiplication(5)
+            Scalar-multiplication endomorphism [5]
+             of Elliptic Curve defined by y^2 + x*y + y = x^3 - x^2 - 17*x + 30 over Rational Field
+            sage: E.scalar_multiplication(2).rational_maps()
+            ((x^4 + 33*x^2 - 242*x + 363)/(4*x^3 - 3*x^2 - 66*x + 121),
+             (-4*x^7 + 8*x^6*y - 28*x^6 - 12*x^5*y - 420*x^5 - 660*x^4*y + 5020*x^4 + 4840*x^3*y - 7568*x^3 - 14520*x^2*y - 42108*x^2 + 20328*x*y + 143264*x - 10648*y - 122452)/(64*x^6 - 96*x^5 - 2076*x^4 + 5456*x^3 + 14520*x^2 - 63888*x + 58564))
+        """
+        from sage.schemes.elliptic_curves.hom_scalar import EllipticCurveHom_scalar
+        return EllipticCurveHom_scalar(self, m)
+
+    def frobenius_isogeny(self, n=1):
+        r"""
+        Return the `n`-power Frobenius isogeny from this curve to
+        its Galois conjugate.
+
+        The Frobenius *endo*\morphism is the special case where `n`
+        is divisible by the degree of the base ring of the curve.
+
+        .. SEEALSO::
+
+            :meth:`~sage.schemes.elliptic_curves.ell_finite_field.EllipticCurve_finite_field.frobenius_endomorphism`
+
+        EXAMPLES::
+
+            sage: # needs sage.rings.finite_rings
+            sage: z3, = GF(13^3).gens()
+            sage: E = EllipticCurve([z3, z3^2])
+            sage: E.frobenius_isogeny()
+            Frobenius isogeny of degree 13:
+              From: Elliptic Curve defined by y^2 = x^3 + z3*x + z3^2
+                     over Finite Field in z3 of size 13^3
+              To:   Elliptic Curve defined by y^2 = x^3 + (5*z3^2+7*z3+11)*x + (5*z3^2+12*z3+1)
+                     over Finite Field in z3 of size 13^3
+            sage: E.frobenius_isogeny(3)
+            Frobenius endomorphism of degree 2197 = 13^3:
+              From: Elliptic Curve defined by y^2 = x^3 + z3*x + z3^2
+                     over Finite Field in z3 of size 13^3
+              To:   Elliptic Curve defined by y^2 = x^3 + z3*x + z3^2
+                     over Finite Field in z3 of size 13^3
+        """
+        p = self.base_ring().characteristic()
+        if not p:
+            raise ValueError('Frobenius isogeny only exists in positive characteristic')
+        from sage.schemes.elliptic_curves.hom_frobenius import EllipticCurveHom_frobenius
+        return EllipticCurveHom_frobenius(self, n)
+
+    def identity_morphism(self):
+        r"""
+        Return the identity endomorphism of this elliptic curve
+        as an :class:`EllipticCurveHom` object.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(j=42)
+            sage: E.identity_morphism()
+            Elliptic-curve endomorphism of Elliptic Curve defined by y^2 = x^3 + 5901*x + 1105454 over Rational Field
+              Via:  (u,r,s,t) = (1, 0, 0, 0)
+            sage: E.identity_morphism() == E.scalar_multiplication(1)
+            True
+        """
+        from sage.schemes.elliptic_curves.weierstrass_morphism import identity_morphism
+        return identity_morphism(self)
+
+    def isomorphism_to(self, other):
+        """
+        Given another weierstrass model ``other`` of ``self``, return an
+        isomorphism from ``self`` to ``other``.
+
+        INPUT:
+
+        - ``other`` -- an elliptic curve isomorphic to ``self``
+
+        OUTPUT:
+
+        (Weierstrassmorphism) An isomorphism from ``self`` to ``other``.
+
+        .. NOTE::
+
+            If the curves in question are not isomorphic, a :exc:`ValueError`
+            is raised.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('37a')
+            sage: F = E.short_weierstrass_model()
+            sage: w = E.isomorphism_to(F); w
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+              To:   Elliptic Curve defined by y^2  = x^3 - 16*x + 16 over Rational Field
+              Via:  (u,r,s,t) = (1/2, 0, 0, -1/2)
+            sage: P = E(0,-1,1)
+            sage: w(P)
+            (0 : -4 : 1)
+            sage: w(5*P)
+            (1 : 1 : 1)
+            sage: 5*w(P)
+            (1 : 1 : 1)
+            sage: 120*w(P) == w(120*P)
+            True
+
+        We can also handle injections to different base rings::
+
+            sage: x = polygen(ZZ, 'x')
+            sage: K.<a> = NumberField(x^3 - 7)                                          # needs sage.rings.number_field
+            sage: E.isomorphism_to(E.change_ring(K))                                    # needs sage.rings.number_field
+            Elliptic-curve morphism:
+              From: Elliptic Curve defined by y^2 + y = x^3 - x over Rational Field
+              To:   Elliptic Curve defined by y^2 + y = x^3 + (-1)*x
+                     over Number Field in a with defining polynomial x^3 - 7
+              Via:  (u,r,s,t) = (1, 0, 0, 0)
+        """
+        return wm.WeierstrassIsomorphism(self, None, other)
+
+    def automorphisms(self, field=None):
+        """
+        Return the set of isomorphisms from ``self`` to itself (as a list).
+
+        The identity and negation morphisms are guaranteed to appear
+        as the first and second entry of the returned list.
+
+        INPUT:
+
+        - ``field`` -- (default: ``None``) a field into which the
+          coefficients of the curve may be coerced (by default, uses
+          the base field of the curve)
+
+        OUTPUT:
+
+        A list of :class:`~wm.WeierstrassIsomorphism` objects
+        consisting of all the isomorphisms from the curve ``self`` to
+        itself defined over ``field``.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve_from_j(QQ(0))  # a curve with j=0 over QQ
+            sage: E.automorphisms()
+            [Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Rational Field
+               Via:  (u,r,s,t) = (1, 0, 0, 0),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Rational Field
+               Via:  (u,r,s,t) = (-1, 0, 0, -1)]
+
+        We can also find automorphisms defined over extension fields::
+
+            sage: x = polygen(ZZ, 'x')
+            sage: K.<a> = NumberField(x^2 + 3)  # adjoin roots of unity                 # needs sage.rings.number_field
+            sage: E.automorphisms(K)                                                    # needs sage.rings.number_field
+            [Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (1, 0, 0, 0),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (-1, 0, 0, -1),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (-1/2*a - 1/2, 0, 0, 0),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (1/2*a + 1/2, 0, 0, -1),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (1/2*a - 1/2, 0, 0, 0),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Number Field in a with defining polynomial x^2 + 3
+               Via:  (u,r,s,t) = (-1/2*a + 1/2, 0, 0, -1)]
+
+        ::
+
+            sage: [len(EllipticCurve_from_j(GF(q,'a')(0)).automorphisms())              # needs sage.rings.finite_rings
+            ....:  for q in [2,4,3,9,5,25,7,49]]
+            [2, 24, 2, 12, 2, 6, 6, 6]
+
+        TESTS:
+
+        Random testing::
+
+            sage: # needs sage.rings.finite_rings
+            sage: p = random_prime(100)
+            sage: k = randrange(1,30)
+            sage: F.<t> = GF((p,k))
+            sage: while True:
+            ....:     try:
+            ....:         E = EllipticCurve(list((F^5).random_element()))
+            ....:     except ArithmeticError:
+            ....:         continue
+            ....:     break
+            sage: Aut = E.automorphisms()
+            sage: Aut[0] == E.scalar_multiplication(1)
+            True
+            sage: Aut[1] == E.scalar_multiplication(-1)
+            True
+            sage: sorted(Aut) == Aut
+            True
+        """
+        if field is not None:
+            self = self.change_ring(field)
+        return self.isomorphisms(self)
+
+    def isomorphisms(self, other, field=None):
+        """
+        Return the set of isomorphisms from ``self`` to ``other`` (as a list).
+
+        INPUT:
+
+        - ``other`` -- another elliptic curve
+
+        - ``field`` -- (default: ``None``) a field into which the
+          coefficients of the curves may be coerced (by default, uses
+          the base field of the curves)
+
+        OUTPUT:
+
+        A list of :class:`~wm.WeierstrassIsomorphism` objects consisting of all
+        the isomorphisms from the curve ``self`` to the curve
+        ``other`` defined over ``field``.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve_from_j(QQ(0)) # a curve with j=0 over QQ
+            sage: F = EllipticCurve('27a3') # should be the same one
+            sage: E.isomorphisms(F)
+            [Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Rational Field
+               Via:  (u,r,s,t) = (1, 0, 0, 0),
+             Elliptic-curve endomorphism of Elliptic Curve defined by y^2 + y = x^3
+              over Rational Field
+               Via:  (u,r,s,t) = (-1, 0, 0, -1)]
+
+        We can also find isomorphisms defined over extension fields::
+
+            sage: # needs sage.rings.finite_rings
+            sage: E = EllipticCurve(GF(7), [0,0,0,1,1])
+            sage: F = EllipticCurve(GF(7), [0,0,0,1,-1])
+            sage: E.isomorphisms(F)
+            []
+            sage: E.isomorphisms(F, GF(49,'a'))
+            [Elliptic-curve morphism:
+               From: Elliptic Curve defined by y^2 = x^3 + x + 1
+                     over Finite Field in a of size 7^2
+               To:   Elliptic Curve defined by y^2 = x^3 + x + 6
+                     over Finite Field in a of size 7^2
+               Via:  (u,r,s,t) = (a + 3, 0, 0, 0),
+             Elliptic-curve morphism:
+               From: Elliptic Curve defined by y^2 = x^3 + x + 1
+                     over Finite Field in a of size 7^2
+               To:   Elliptic Curve defined by y^2 = x^3 + x + 6
+                     over Finite Field in a of size 7^2
+               Via:  (u,r,s,t) = (6*a + 4, 0, 0, 0)]
+        """
+        if field is not None:
+            self = self.change_ring(field)
+            other = other.change_ring(field)
+        return sorted(wm.WeierstrassIsomorphism(self, urst, other)
+                      for urst in wm._isomorphisms(self, other))
+
+    def is_isomorphic(self, other, field=None):
+        """
+        Return whether or not ``self`` is isomorphic to ``other``.
+
+        INPUT:
+
+        - ``other`` -- another elliptic curve
+
+        - ``field`` -- (default: ``None``) a field into which the
+          coefficients of the curves may be coerced (by default, uses
+          the base field of the curves).
+
+        OUTPUT:
+
+        boolean; ``True`` if there is an isomorphism from curve ``self`` to
+        curve ``other`` defined over ``field``.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('389a')
+            sage: F = E.change_weierstrass_model([2,3,4,5]); F
+            Elliptic Curve defined by y^2 + 4*x*y + 11/8*y = x^3 - 3/2*x^2 - 13/16*x
+            over Rational Field
+            sage: E.is_isomorphic(F)
+            True
+            sage: E.is_isomorphic(F.change_ring(CC))
+            False
+        """
+        if not isinstance(other, EllipticCurve_generic):
+            return False
+        if field is None:
+            if self.base_ring() != other.base_ring():
+                return False
+        else:
+            self = self.base_extend(field)
+            other = other.base_extend(field)
+        if self.j_invariant() != other.j_invariant():  # easy check
+            return False
+        try:
+            next(wm._isomorphisms(self, other))
+        except StopIteration:
+            return False
+        return True
+
+    def change_weierstrass_model(self, *urst):
+        r"""
+        Return a new Weierstrass model of ``self`` under the standard
+        transformation `(u,r,s,t)`.
+
+        .. MATH::
+
+             (x,y) \mapsto (x',y') = (u^2x + r , u^3y + su^2x + t).
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('15a')
+            sage: F1 = E.change_weierstrass_model([1/2,0,0,0]); F1
+            Elliptic Curve defined by y^2 + 2*x*y + 8*y = x^3 + 4*x^2 - 160*x - 640
+            over Rational Field
+            sage: F2 = E.change_weierstrass_model([7,2,1/3,5]); F2
+            Elliptic Curve defined by
+            y^2 + 5/21*x*y + 13/343*y = x^3 + 59/441*x^2 - 10/7203*x - 58/117649
+            over Rational Field
+            sage: F1.is_isomorphic(F2)
+            True
+        """
+        if isinstance(urst[0], (tuple, list)):
+            urst = urst[0]
+        return constructor.EllipticCurve((wm.baseWI(*urst))(self.ainvs()))
+
+    def short_weierstrass_model(self, complete_cube=True):
+        """
+        Return a short Weierstrass model for ``self``.
+
+        INPUT:
+
+        - ``complete_cube`` -- boolean (default: ``True``); for
+          meaning, see below
+
+        OUTPUT: an elliptic curve
+
+        If ``complete_cube=True``: Return a model of the form
+        `y^2 = x^3 + a*x + b` for this curve. The characteristic
+        must not be 2; in characteristic 3, it is only possible if `b_2=0`.
+
+        If ``complete_cube=False``: Return a model of the form
+        `y^2 = x^3 + ax^2 + bx + c` for this curve. The
+        characteristic must not be 2.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([1,2,3,4,5])
+            sage: E
+            Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 2*x^2 + 4*x + 5 over Rational Field
+            sage: F = E.short_weierstrass_model()
+            sage: F
+            Elliptic Curve defined by y^2  = x^3 + 4941*x + 185166 over Rational Field
+            sage: E.is_isomorphic(F)
+            True
+            sage: F = E.short_weierstrass_model(complete_cube=False)
+            sage: F
+            Elliptic Curve defined by y^2  = x^3 + 9*x^2 + 88*x + 464 over Rational Field
+            sage: E.is_isomorphic(F)
+            True
+
+        ::
+
+            sage: E = EllipticCurve(GF(3), [1,2,3,4,5])
+            sage: E.short_weierstrass_model(complete_cube=False)
+            Elliptic Curve defined by y^2 = x^3 + x + 2 over Finite Field of size 3
+
+        This used to be different see :issue:`3973`::
+
+            sage: E.short_weierstrass_model()
+            Elliptic Curve defined by y^2 = x^3 + x + 2 over Finite Field of size 3
+
+        More tests in characteristic 3::
+
+            sage: E = EllipticCurve(GF(3), [0,2,1,2,1])
+            sage: E.short_weierstrass_model()
+            Traceback (most recent call last):
+            ...
+            ValueError: short_weierstrass_model(): no short model for Elliptic Curve
+            defined by y^2 + y = x^3 + 2*x^2 + 2*x + 1 over Finite Field of size 3
+            (characteristic is 3)
+            sage: E.short_weierstrass_model(complete_cube=False)
+            Elliptic Curve defined by y^2 = x^3 + 2*x^2 + 2*x + 2
+            over Finite Field of size 3
+            sage: E.short_weierstrass_model(complete_cube=False).is_isomorphic(E)
+            True
+        """
+        from . import constructor
+        K = self.base_ring()
+
+        # any curve of the form y^2 = x^3 +.. is singular in characteristic 2
+        if K.characteristic() == 2:
+            raise ValueError("short_weierstrass_model(): no short model for %s (characteristic is %s)" % (self, K.characteristic()))
+
+        # in characteristic 3 we can complete the square but we can only complete the cube if b2 is 0
+        if K.characteristic() == 3:
+            b2, b4, b6,_ = self.b_invariants()
+            if complete_cube and b2 != 0:
+                raise ValueError("short_weierstrass_model(): no short model for %s (characteristic is %s)" % (self,K.characteristic()))
+            else:
+                return constructor.EllipticCurve([0,b2,0,8*b4,16*b6])
+
+        a1,a2,a3,_,_ = self.a_invariants()
+        if complete_cube:
+            if a1 == 0 and a2 == 0 and a3 == 0:
+                return self
+            else:
+                b2, b4, b6, _ = self.b_invariants()
+                if b2 == 0:
+                    return constructor.EllipticCurve([0,0,0,8*b4,16*b6])
+                else:
+                    c4, c6 = self.c_invariants()
+                    return constructor.EllipticCurve([0,0,0,-27*c4, -54*c6])
+        else:
+            if a1 == 0 and a3 == 0:
+                return self
+            else:
+                b2, b4, b6, _ = self.b_invariants()
+                return constructor.EllipticCurve([0,b2,0,8*b4,16*b6])
+
+    def montgomery_model(self, twisted=False, morphism=False):
+        r"""
+        Return a (twisted or untwisted) Montgomery model for this
+        elliptic curve, if possible.
+
+        A Montgomery curve is a smooth projective curve of the form
+
+        .. MATH::
+
+            BY^2 = X^3 + AX^2 + X.
+
+        The Montgomery curve is called *untwisted* if `B=1`.
+
+        INPUT:
+
+        - ``twisted`` -- boolean (default: ``False``); allow `B \neq 1`
+
+        - ``morphism`` -- boolean (default: ``False``); also return an
+          isomorphism from this curve to the computed Montgomery model
+
+        OUTPUT:
+
+        If ``twisted`` is ``False`` (the default), an
+        :class:`EllipticCurve_generic` object encapsulating an untwisted
+        Montgomery curve.  Otherwise, a
+        :class:`~sage.schemes.curves.projective_curve.ProjectivePlaneCurve`
+        object encapsulating a (potentially twisted) Montgomery curve.
+
+        If ``morphism`` is ``True``, this method returns a tuple consisting of
+        such a curve together with an isomorphism of suitable type (either
+        :class:`~sage.schemes.elliptic_curves.weierstrass_morphism.WeierstrassIsomorphism`
+        or
+        :class:`~sage.schemes.elliptic_curves.weierstrass_transform.WeierstrassTransformationWithInverse`)
+        from this curve to the Montgomery model.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve(QQbar, '11a1')                                      # needs sage.rings.number_field
+            sage: E.montgomery_model()                                                  # needs sage.rings.number_field
+            Elliptic Curve defined by y^2 = x^3 + (-1.953522420987248?)*x^2 + x
+            over Algebraic Field
+
+        ::
+
+            sage: E = EllipticCurve(GF(431^2), [7,7])                                   # needs sage.rings.finite_rings
+            sage: E.montgomery_model()                                                  # needs sage.rings.finite_rings
+            Elliptic Curve defined by y^2 = x^3 + (51*z2+190)*x^2 + x
+            over Finite Field in z2 of size 431^2
+
+        An isomorphism between the Montgomery and Weierstrass form can
+        be obtained using the ``morphism`` parameter::
+
+            sage: E.montgomery_model(morphism=True)                                     # needs sage.rings.finite_rings
+            (Elliptic Curve defined by y^2 = x^3 + (51*z2+190)*x^2 + x
+              over Finite Field in z2 of size 431^2,
+             Elliptic-curve morphism:
+               From: Elliptic Curve defined by y^2 = x^3 + 7*x + 7
+                     over Finite Field in z2 of size 431^2
+               To:   Elliptic Curve defined by y^2 = x^3 + (51*z2+190)*x^2 + x
+                     over Finite Field in z2 of size 431^2
+               Via:  (u,r,s,t) = (64*z2 + 407, 159, 0, 0))
+
+        Not all elliptic curves have a Montgomery model over their field
+        of definition::
+
+            sage: E = EllipticCurve(GF(257), [1,1])
+            sage: E.montgomery_model()
+            Traceback (most recent call last):
+            ...
+            ValueError: Elliptic Curve defined by y^2 = x^3 + x + 1
+            over Finite Field of size 257 has no Montgomery model
+
+        ::
+
+            sage: E = EllipticCurve(GF(257), [10,10])
+            sage: E.montgomery_model()
+            Traceback (most recent call last):
+            ...
+            ValueError: Elliptic Curve defined by y^2 = x^3 + 10*x + 10
+            over Finite Field of size 257 has no untwisted Montgomery model
+
+        However, as hinted by the error message, the latter curve does
+        admit a *twisted* Montgomery model, which can be computed by
+        passing ``twisted=True``::
+
+            sage: E.montgomery_model(twisted=True)
+            Projective Plane Curve over Finite Field of size 257
+            defined by -x^3 + 8*x^2*z - 127*y^2*z - x*z^2
+
+        Since Sage internally represents elliptic curves as (long) Weierstrass
+        curves, which do not feature the Montgomery `B` coefficient, the
+        returned curve in this case is merely a
+        :class:`~sage.schemes.curves.projective_curve.ProjectivePlaneCurve`
+        rather than the usual :class:`EllipticCurve_generic`.
+
+        Arithmetic on curves of this type is not implemented natively,
+        but can easily be emulated by mapping back and forth to the
+        corresponding Weierstrass curve::
+
+            sage: C, f = E.montgomery_model(twisted=True, morphism=True)
+            sage: f
+            Scheme morphism:
+              From: Elliptic Curve defined by y^2 = x^3 + 10*x + 10
+                    over Finite Field of size 257
+              To:   Projective Plane Curve over Finite Field of size 257
+                    defined by -x^3 + 8*x^2*z - 127*y^2*z - x*z^2
+              Defn: Defined on coordinates by sending (x : y : z) to
+                    (x + 116*z : -y : -85*z)
+            sage: g = f.inverse(); g
+            Scheme morphism:
+              From: Projective Plane Curve over Finite Field of size 257
+                    defined by -x^3 + 8*x^2*z - 127*y^2*z - x*z^2
+              To:   Elliptic Curve defined by y^2 = x^3 + 10*x + 10
+                    over Finite Field of size 257
+              Defn: Defined on coordinates by sending (x : y : z) to
+                    (-85*x - 116*z : 85*y : z)
+            sage: P = C(70, 8)
+            sage: Q = C(17, 17)
+            sage: P + Q             # this doesn't work...
+            Traceback (most recent call last):
+            ...
+            TypeError: unsupported operand parent(s) for +: ...
+            sage: f(g(P) + g(Q))    # ...but this does
+            (107 : 168 : 1)
+
+        Using the fact that the Weil pairing satisfies `e(\psi(P),\psi(Q)) =
+        e(P,Q)^{\deg\psi}`, even pairings can be emulated in this way (note
+        that isomorphisms have degree `1`)::
+
+            sage: # needs sage.rings.finite_rings
+            sage: F.<z2> = GF(257^2)
+            sage: C_ = C.change_ring(F)
+            sage: g_ = g.change_ring(F)
+            sage: g_(P).order()
+            12
+            sage: T = C_(-7 * z2 - 57, 31 * z2 - 52, 1)
+            sage: g_(T).order()
+            12
+            sage: g_(P).weil_pairing(g_(T), 12)
+            15*z2 + 204
+
+        Another alternative is to simply extend the base field enough
+        for the curve to have an untwisted Montgomery model::
+
+            sage: C_ = E.change_ring(F).montgomery_model(); C_                          # needs sage.rings.finite_rings
+            Elliptic Curve defined by y^2 = x^3 + 249*x^2 + x
+            over Finite Field in z2 of size 257^2
+            sage: h = C.defining_polynomial().change_ring(F); h                         # needs sage.rings.finite_rings
+            -x^3 + 8*x^2*z - 127*y^2*z - x*z^2
+            sage: C_.is_isomorphic(EllipticCurve_from_cubic(h).codomain())              # needs sage.rings.finite_rings
+            True
+
+        .. SEEALSO::
+
+            The inverse conversion --- computing a Weierstrass model for a
+            given Montgomery curve --- can be performed using
+            :func:`~sage.schemes.elliptic_curves.constructor.EllipticCurve_from_cubic`.
+
+        ALGORITHM: [CS2018]_, §2.4
+
+        REFERENCES:
+
+        - Original publication: [Mont1987]_, §10.3.1
+        - More recent survey article: [CS2018]_
+        """
+        Ew = self.short_weierstrass_model()
+        _, _, _, a, b = Ew.a_invariants()
+
+        R = self.base_ring()
+        P = PolynomialRing(R, 'v')
+
+        sols = []
+        for r in P([b, a, 0, 1]).roots(multiplicities=False):
+            for s in P([3 * r**2 + a, 0, -1]).roots(multiplicities=False):
+                sols.append((r,s))
+
+        if not sols:
+            raise ValueError(f'{self} has no Montgomery model')
+
+        # square s allows us to take B=1
+        r,s = max(sols, key=lambda t: t[1].is_square())
+
+        A = 3 * r / s
+        B = R.one() if s.is_square() else ~s
+
+        if not twisted:
+            if B != 1:
+                raise ValueError(f'{self} has no untwisted Montgomery model')
+            from sage.schemes.elliptic_curves.constructor import EllipticCurve
+            E = EllipticCurve([0, A, 0, 1, 0])
+            if morphism:
+                return E, self.isomorphism_to(E)
+            return E
+
+        P2, (x, y, z) = self.ambient_space().objgens()
+        f = B * y**2*z - x * (x * (x + A*z) + z**2)
+        C = plane_curve.ProjectivePlaneCurve(P2, f)
+
+        if not morphism:
+            return C
+
+        t = ~(B * s).sqrt()
+        iso_maps = (x - r * z, t * y, s * z)
+        inv_maps = (x * s + r * z, s * y / t, z)
+
+        w = self.isomorphism_to(Ew)
+        wmap, winv = w.rational_maps(), (~w).rational_maps()
+        wmap, winv = (tuple(f(x, y) for f in fs) + (z,) for fs in (wmap, winv))
+
+        iso = [f(*wmap) for f in iso_maps]
+        inv = [f(*inv_maps) for f in winv]
+
+        from sage.schemes.elliptic_curves.weierstrass_transform \
+            import WeierstrassTransformationWithInverse as WTI
+        iso = WTI(self, C, iso, 1, inv, s**-3)
+        return C, iso
+
+    def plot(self, xmin=None, xmax=None, components='both', **args):
+        """
+        Draw a graph of this elliptic curve.
+
+        The plot method is only implemented when there is a natural coercion
+        from the base ring of ``self`` to ``RR``. In this case, ``self`` is
+        plotted as if it was defined over ``RR``.
+
+        INPUT:
+
+        - ``xmin``, ``xmax`` -- (optional) points will be computed at
+          least within this range, but possibly farther
+
+        - ``components`` -- string; one of the following:
+
+          - ``both`` -- (default), scale so that both bounded and
+            unbounded components appear
+
+          - ``bounded`` -- scale the plot to show the bounded
+            component.  Raises an error if there is only one real
+            component.
+
+          - ``unbounded`` -- scale the plot to show the unbounded
+            component, including the two flex points
+
+        - ``plot_points`` -- passed to
+          :func:`sage.plot.generate_plot_points`
+
+        - ``adaptive_tolerance`` -- passed to
+          :func:`sage.plot.generate_plot_points`
+
+        - ``adaptive_recursion`` -- passed to
+          :func:`sage.plot.generate_plot_points`
+
+        - ``randomize`` -- passed to
+          :func:`sage.plot.generate_plot_points`
+
+        - ``**args`` -- all other options are passed to
+          :class:`sage.plot.line.Line`
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve([0, -1])
+            sage: plot(E, rgbcolor=hue(0.7))                                            # needs sage.plot
+            Graphics object consisting of 1 graphics primitive
+            sage: E = EllipticCurve('37a')
+            sage: plot(E)                                                               # needs sage.plot
+            Graphics object consisting of 2 graphics primitives
+            sage: plot(E, xmin=25, xmax=26)                                             # needs sage.plot
+            Graphics object consisting of 2 graphics primitives
+
+        With :issue:`12766` we added the components keyword::
+
+            sage: E.real_components()
+            2
+            sage: E.plot(components='bounded')                                          # needs sage.plot
+            Graphics object consisting of 1 graphics primitive
+            sage: E.plot(components='unbounded')                                        # needs sage.plot
+            Graphics object consisting of 1 graphics primitive
+
+        If there is only one component then specifying
+        components='bounded' raises a ValueError::
+
+            sage: E = EllipticCurve('9990be2')
+            sage: E.plot(components='bounded')                                          # needs sage.plot
+            Traceback (most recent call last):
+            ...
+            ValueError: no bounded component for this curve
+
+        An elliptic curve defined over the Complex Field can not be plotted::
+
+            sage: E = EllipticCurve(CC, [0,0,1,-1,0])
+            sage: E.plot()                                                              # needs sage.plot
+            Traceback (most recent call last):
+            ...
+            NotImplementedError: plotting of curves over Complex Field
+            with 53 bits of precision is not implemented yet
+        """
+        RR = RealField()
+        K = self.base_ring()
+        if not RR.has_coerce_map_from(K):
+            raise NotImplementedError("plotting of curves over %s is not implemented yet" % K)
+        if components not in ['both', 'bounded', 'unbounded']:
+            raise ValueError("component must be one of 'both', 'bounded' or 'unbounded'")
+
+        a1, a2, a3, a4, a6 = self.ainvs()
+        d = self.division_polynomial(2)
+
+        def f1(z):
+            # Internal function for plotting first branch of the curve
+            return (-(a1*z + a3) + sqrt(abs(d(z))))/2
+
+        def f2(z):
+            # Internal function for plotting second branch of the curve
+            return (-(a1*z + a3) - sqrt(abs(d(z))))/2
+
+        r = sorted(d.roots(RR, multiplicities=False))
+        if components == 'bounded' and len(r) == 1:
+            raise ValueError("no bounded component for this curve")
+        if isinstance(xmin, (tuple, list)):
+            if xmax is not None:
+                raise ValueError("xmax must be None if xmin is a tuple")
+            if len(xmin) != 2:
+                raise ValueError("if xmin is a tuple it must have length 2")
+            xmin, xmax = xmin
+        if xmin is None or xmax is None:
+            xmins = []
+            xmaxs = []
+            if components in ['both','bounded'] and len(r) > 1:
+                xmins.append(r[0])
+                xmaxs.append(r[1])
+
+            # The following 3 is an aesthetic choice.  It's possible
+            # that we should compute both of the following when
+            # components=='both' and len(r) > 1 and take the maximum
+            # generated xmax.
+            if components == 'unbounded' or components == 'both' and (len(r) == 1 or r[2] - r[1] > 3*(r[1] - r[0])):
+                flex = sorted(self.division_polynomial(3).roots(RR, multiplicities=False))
+                flex = flex[-1]
+                xmins.append(r[-1])
+                # The doubling here is an aesthetic choice
+                xmaxs.append(flex + 2*(flex - r[-1]))
+            elif components == 'both':
+                # First the easy part.
+                xmins.append(r[-1])
+                # There are two components and the unbounded component
+                # is not too far from the bounded one.  We scale so
+                # that the unbounded component is twice as tall as the
+                # bounded component.  The y values corresponding to
+                # horizontal tangent lines are determined as follows.
+                # We implicitly differentiate the equation for this
+                # curve and get
+                # 2 yy' + a1 y + a1 xy' + a3 y' = 3 x^2 + 2a2 x + a4
+
+                R = RR['x']
+                x = R.gen()
+                if a1 == 0:
+                    # a horizontal tangent line can only occur at a root of
+                    Ederiv = 3*x**2 + 2*a2*x + a4
+                else:
+                    # y' = 0  ==>  y = (3*x^2 + 2*a2*x + a4) / a1
+                    y = (3*x**2 + 2*a2*x + a4) / a1
+                    Ederiv = y**2 + a1*x*y + a3*y - (x**3 + a2*x**2 + a4*x + a6)
+                critx = [a for a in Ederiv.roots(RR, multiplicities=False)
+                         if r[0] < a < r[1]]
+                if not critx:
+                    raise RuntimeError("No horizontal tangent lines on bounded component")
+                # The 2.5 here is an aesthetic choice
+                ymax = 2.5 * max([f1(a) for a in critx])
+                ymin = 2.5 * min([f2(a) for a in critx])
+                top_branch = ymax**2 + a1*x*ymax + a3*ymax - (x**3 + a2*x**2 + a4*x + a6)
+                bottom_branch = ymin**2 + a1*x*ymin + a3*ymin - (x**3 + a2*x**2 + a4*x + a6)
+                xmaxs.append(max(top_branch.roots(RR,multiplicities=False) + bottom_branch.roots(RR,multiplicities=False)))
+            xmins = min(xmins)
+            xmaxs = max(xmaxs)
+            span = xmaxs - xmins
+            if xmin is None:
+                xmin = xmins - .02*span
+            if xmax is None:
+                xmax = xmaxs + .02*span
+        elif xmin >= xmax:
+            raise ValueError("xmin must be less than xmax")
+
+        I = []
+        if components in ['unbounded', 'both'] and xmax > r[-1]:
+            # one real root; 1 component
+            if xmin <= r[-1]:
+                I.append((r[-1],xmax,'<'))
+            else:
+                I.append((xmin, xmax,'='))
+        if components in ['bounded','both'] and len(r) > 1 and (xmin < r[1] or xmax > r[0]):
+            if xmin <= r[0]:
+                if xmax >= r[1]:
+                    I.append((r[0],r[1],'o'))
+                else:
+                    I.append((r[0],xmax,'<'))
+            elif xmax >= r[1]:
+                I.append((xmin, r[1], '>'))
+            else:
+                I.append((xmin, xmax, '='))
+
+        from sage.plot.graphics import Graphics
+        from sage.plot.line import line
+        from sage.plot.plot import generate_plot_points
+
+        g = Graphics()
+        plot_points = int(args.pop('plot_points',200))
+        adaptive_tolerance = args.pop('adaptive_tolerance',0.01)
+        adaptive_recursion = args.pop('adaptive_recursion',5)
+        randomize = args.pop('randomize',True)
+        for j in range(len(I)):
+            a, b, shape = I[j]
+            v = generate_plot_points(f1, (a, b), plot_points, adaptive_tolerance, adaptive_recursion, randomize)
+            w = generate_plot_points(f2, (a, b), plot_points, adaptive_tolerance, adaptive_recursion, randomize)
+            if shape == 'o':
+                g += line(v + list(reversed(w)) + [v[0]], **args)
+            elif shape == '<':
+                g += line(list(reversed(v)) + w, **args)
+            elif shape == '>':
+                g += line(v + list(reversed(w)), **args)
+            else:
+                g += line(v, **args)
+                g += line(w, **args)
+        return g
+
+    @cached_method
+    def formal_group(self):
+        r"""
+        Return the formal group associated to this elliptic curve.
+
+        This method is cached.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve("37a")
+            sage: E.formal_group()
+            Formal Group associated to the Elliptic Curve
+            defined by y^2 + y = x^3 - x over Rational Field
+        """
+        return formal_group.EllipticCurveFormalGroup(self)
+
+    formal = formal_group
+
+    def _p_primary_torsion_basis(self, p, m=None):
+        r"""
+        Find a basis for the `p`-primary part of the torsion
+        subgroup of this elliptic curve.
+
+        INPUT:
+
+        - ``p`` -- integer; a prime number
+
+        - ``m`` -- integer or ``None``; if not ``None``, the `p`-primary
+          torsion will be assumed to have order at most `p^m`
+
+        OUTPUT:
+
+        A list of 0, 1 or 2 pairs `[T,k]` where `T` is a generator of
+        order `p^k`. That is, either `[]` or `[[T_1,k_1]]` or
+        `[[T_1,k_1],[T_2,k_2]]` with `[]`, `[T_1]`, or `[T_1,T_2]` a
+        basis and `p^{k_1} \ge p^{k_2} \ge 1` their orders.
+
+        .. WARNING::
+
+            1. Do not call this on a curve whose group is
+               `p`-divisible (i.e., whose `p`-primary part
+               is infinite)!
+
+            2. The code uses division polynomials and will be slow for
+               large `p`.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('11a1')
+            sage: E._p_primary_torsion_basis(5)
+            [[(5 : -6 : 1), 1]]
+
+            sage: # needs sage.rings.number_field
+            sage: x = polygen(ZZ, 'x')
+            sage: K.<t> = NumberField(x^4 + x^3 + 11*x^2 + 41*x + 101)
+            sage: EK = E.base_extend(K)
+            sage: EK._p_primary_torsion_basis(5)        # long time
+            [[(16 : 60 : 1), 1], [(t : 1/11*t^3 + 6/11*t^2 + 19/11*t + 48/11 : 1), 1]]
+            sage: EF = E.change_ring(GF(101))                                           # needs sage.rings.finite_rings
+            sage: EF._p_primary_torsion_basis(5)                                        # needs sage.rings.finite_rings
+            [[(0 : 13 : 1), 1], [(5 : 5 : 1), 1]]
+
+            sage: F.<z> = CyclotomicField(21)                                           # needs sage.rings.number_field
+            sage: E = EllipticCurve([2, -z^7, -z^7, 0, 0])                              # needs sage.rings.number_field
+            sage: E._p_primary_torsion_basis(7,2)       # long time                     # needs sage.rings.number_field
+            [[(0 : z^7 : 1), 1],
+            [(z^7 - z^6 + z^4 - z^3 + z^2 - 1
+              : z^8 - 2*z^7 + z^6 + 2*z^5 - 3*z^4 + 2*z^3 - 2*z + 2 : 1), 1]]
+
+        TESTS:
+
+        This shows that the bug at :issue:`4937` is fixed::
+
+            sage: a = 804515977734860566494239770982282063895480484302363715494873
+            sage: b = 584772221603632866665682322899297141793188252000674256662071
+            sage: E = EllipticCurve(GF(10^60 + 3201), [0,a,0,b,0])                      # needs sage.rings.finite_rings
+            sage: [t[1] for t in E._p_primary_torsion_basis(2)]         # long time, needs sage.rings.finite_rings
+            [16, 1]
+        """
+        p = Integer(p)
+        if not p.is_prime():
+            raise ValueError("p (=%s) should be prime" % p)
+
+        if m is None:
+            from sage.rings.infinity import Infinity
+            m = Infinity
+
+        if m == 0:
+            return []
+
+        # First find the p-torsion:
+        Ep = self(0).division_points(p)
+        p_rank = Integer(len(Ep)).exact_log(p)
+        assert p_rank in [0, 1, 2]
+
+        if p_rank == 0:
+            return []
+
+        if p_rank == 1:
+            P = Ep[0]
+            if P.is_zero():
+                P = Ep[1]
+            k = 1
+            if m == 1:
+                return [[P, k]]
+            pts = P.division_points(p)  # length 0 or p
+            while pts:
+                k += 1
+                P = pts[0]
+                if m <= k:
+                    return [[P, k]]
+                pts = P.division_points(p)
+            # now P generates the p-power-torsion and has order p^k
+            return [[P, k]]
+
+        Epi = iter(Ep)  # used to iterate through Ep
+        # Find P1,P2 which generate the p-torsion:
+        P1 = next(Epi)
+        while P1.is_zero():
+            P1 = next(Epi)
+        P2 = next(Epi)
+        while generic.linear_relation(P1, P2, '+')[0] != 0:
+            P2 = next(Epi)
+
+        k = 1
+        log_order = 2
+        if m <= log_order:
+            return [[P1, 1], [P2, 1]]
+
+        pts1 = P1.division_points(p)
+        pts2 = P2.division_points(p)
+        while pts1 and pts2:
+            k += 1
+            P1 = pts1[0]
+            P2 = pts2[0]
+            log_order += 2
+            if m <= log_order:
+                return [[P1, k], [P2, k]]
+            pts1 = P1.division_points(p)
+            pts2 = P2.division_points(p)
+
+        # Now P1,P2 are a basis for the p^k torsion, which is
+        # isomorphic to (Z/p^k)^2, and k is the maximal integer for
+        # which this is the case.
+
+        # We now determine whether a combination (P2 or P1+a*P2 for
+        # some a) can be further divided for some a mod p; if so,
+        # replace P1 by that combination, set pts to be the list of
+        # solutions Q to p*Q=P1.  If no combination can be divided,
+        # then the structure is (p^k,p^k) and we can stop.
+
+        if pts1:
+            pts = pts1
+        elif pts2:
+            P1, P2 = P2, P1
+            pts = pts2
+        else:
+            for Q in generic.multiples(P2, p-1, P1 + P2, operation='+'):
+                # Q runs through P1+a*P2 for a=1,2,...,p-1
+                pts = Q.division_points(p)
+                if pts:
+                    P1 = Q
+                    break
+
+        if not pts:
+            return [[P1, k], [P2, k]]
+
+        # Now the structure is (p^n,p^k) for some n>k.  We need to
+        # replace P1 by an element of maximal order p^n.  So far we
+        # have pts = list of Q satisfying p*Q=P1, and all such Q have
+        # order p^{k+1}.
+
+        # We keep trying to divide P1 by p.  At each step, if we
+        # succeed, replace P1 by any of the results and increment n.
+        # If we fails try again with P1+a*P2 for a in [1..p-1]. If any
+        # succeed, replace P1 by one of the resulting divided points.
+        # If all fail, the structure is (p^n,p^k) and P1,P2 are
+        # generators.
+
+        n = k
+        while True:
+            P1 = pts[0]
+            n += 1
+            log_order += 1
+            if m <= log_order:
+                return [[P1, n], [P2, k]]
+            pts = P1.division_points(p)
+            if not pts:
+                for Q in generic.multiples(P2, p-1, P1+P2, operation='+'):
+                    # Q runs through P1+a*P2 for a=1,2,...,p-1
+                    pts = Q.division_points(p)
+                    if pts:
+                        break
+                if not pts:
+                    return [[P1, n], [P2, k]]
+
+    def hyperelliptic_polynomials(self):
+        r"""
+        Return a pair of polynomials `g(x)`, `h(x)` such that this elliptic
+        curve can be defined by the standard hyperelliptic equation
+
+        .. MATH::
+
+            y^2 + h(x)y = g(x).
+
+        EXAMPLES::
+
+            sage: R.<a1,a2,a3,a4,a6>=QQ[]
+            sage: E = EllipticCurve([a1,a2,a3,a4,a6])
+            sage: E.hyperelliptic_polynomials()
+            (x^3 + a2*x^2 + a4*x + a6, a1*x + a3)
+        """
+        K = self.base_ring()
+        R = PolynomialRing(K, 'x')
+        a1, a2, a3, a4, a6 = self.ainvs()
+        return R([a6, a4, a2, 1]), R([a3, a1])
+
+    # This caching is important since PARI also caches certain
+    # things. This wouldn't work if we would call ellinit()
+    # every time.
+    @cached_method
+    def pari_curve(self):
+        """
+        Return the PARI curve corresponding to this elliptic curve.
+
+        The result is cached.
+
+        EXAMPLES::
+
+            sage: # needs sage.libs.pari
+            sage: E = EllipticCurve([RR(0), RR(0), RR(1), RR(-1), RR(0)])
+            sage: e = E.pari_curve()
+            sage: type(e)
+            <... 'cypari2.gen.Gen'>
+            sage: e.type()
+            't_VEC'
+            sage: e.disc()
+            37.0000000000000
+
+        Over a finite field::
+
+            sage: EllipticCurve(GF(41), [2,5]).pari_curve()                             # needs sage.libs.pari
+            [Mod(0, 41), Mod(0, 41), Mod(0, 41), Mod(2, 41), Mod(5, 41),
+             Mod(0, 41), Mod(4, 41), Mod(20, 41), Mod(37, 41), Mod(27, 41),
+             Mod(26, 41), Mod(4, 41), Mod(11, 41),
+             Vecsmall([3]),
+             [41, [9, 31, [6, 0, 0, 0]]], [0, 0, 0, 0]]
+
+        Over a `p`-adic field::
+
+            sage: # needs sage.libs.pari sage.rings.padics
+            sage: Qp = pAdicField(5, prec=3)
+            sage: E = EllipticCurve(Qp, [3, 4])
+            sage: E.pari_curve()
+            [0, 0, 0, 3, 4, 0, 6, 16, -9, -144, -3456, -8640, 1728/5,
+             Vecsmall([2]), [O(5^3)], [0, 0]]
+            sage: E.j_invariant()
+            3*5^-1 + O(5)
+
+        Over a number field::
+
+            sage: K.<a> = QuadraticField(2)                                             # needs sage.libs.pari sage.rings.number_field
+            sage: E = EllipticCurve([1,a])                                              # needs sage.libs.pari sage.rings.number_field
+            sage: E.pari_curve()                                                        # needs sage.libs.pari sage.rings.number_field
+            [0, 0, 0, Mod(1, y^2 - 2),
+             Mod(y, y^2 - 2), 0, Mod(2, y^2 - 2), Mod(4*y, y^2 - 2),
+             Mod(-1, y^2 - 2), Mod(-48, y^2 - 2), Mod(-864*y, y^2 - 2),
+             Mod(-928, y^2 - 2), Mod(3456/29, y^2 - 2),
+             Vecsmall([5]),
+             [[y^2 - 2, [2, 0], 8, 1, [[1, -1.41421356237310; 1, 1.41421356237310],
+             [1, -1.41421356237310; 1, 1.41421356237310],
+             [16, -23; 16, 23], [2, 0; 0, 4], [4, 0; 0, 2], [2, 0; 0, 1],
+             [2, [0, 2; 1, 0]], [2]], [-1.41421356237310, 1.41421356237310],
+             [1, y], [1, 0; 0, 1], [1, 0, 0, 2; 0, 1, 1, 0]]], [0, 0, 0, 0, 0]]
+
+        PARI no longer requires that the `j`-invariant has negative `p`-adic valuation::
+
+            sage: E = EllipticCurve(Qp,[1, 1])                                          # needs sage.libs.pari sage.rings.padics
+            sage: E.j_invariant()  # the j-invariant is a p-adic integer                # needs sage.libs.pari sage.rings.padics
+            2 + 4*5^2 + O(5^3)
+            sage: E.pari_curve()                                                        # needs sage.libs.pari sage.rings.padics
+            [0, 0, 0, 1, 1, 0, 2, 4, -1, -48, -864, -496, 6912/31,
+             Vecsmall([2]), [O(5^3)], [0, 0]]
+        """
+        from sage.categories.number_fields import NumberFields
+        from sage.libs.pari import pari
+        if self.base_ring() in NumberFields():
+            return pari.ellinit(self.a_invariants(), self.base_ring())
+        else:
+            return pari.ellinit(self.a_invariants())
+
+    # This method is defined so that pari(E) returns exactly the same
+    # as E.pari_curve().  This works even for classes that inherit from
+    # EllipticCurve_generic, such as EllipticCurve_rational_field.
+    def __pari__(self):
+        """
+        Return the PARI curve corresponding to this elliptic curve.
+
+        EXAMPLES::
+
+            sage: E = EllipticCurve('11a1')
+            sage: pari(E)                                                               # needs sage.libs.pari
+            [0, -1, 1, -10, -20, -4, -20, -79, -21, 496, 20008, -161051, -122023936/161051, Vecsmall([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]]
+
+        Over a finite field::
+
+            sage: EllipticCurve(GF(2), [0,0,1,1,1]).__pari__()                          # needs sage.libs.pari
+            [0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, Vecsmall([4]), [1, [[Vecsmall([0, 1]), Vecsmall([0, 1]), Vecsmall([0, 1])], Vecsmall([0, 1]), [Vecsmall([0, 1]), Vecsmall([0]), Vecsmall([0]), Vecsmall([0])]]], [0, 0, 0, 0]]
+        """
+        return self.pari_curve()