EXAMPLES: The bug reported at trac #1785 is fixed:
sage: K.<a> = NumberField(x^2 + x - (3^3-3))
sage: E = EllipticCurve('37a')
sage: X = E(K)
sage: X
Abelian group of points on Elliptic Curve defined by y^2 + y = x^3 + (-1)*x over Number Field in a with defining polynomial x^2 + x - 24
sage: P = X([3,a])
sage: P
(3 : a : 1)
sage: P in E
False
sage: P in E.base_extend(K)
True
Set of points on X defined over the base ring of X, and given by explicit tuples.
Set of points on X defined over the base ring of X, and given by explicit tuples.
EXAMPLES:
sage: f = ZZ.hom(QQ); f
Ring Coercion morphism:
From: Integer Ring
To: Rational Field
sage: H = Hom(Spec(QQ,ZZ), Spec(ZZ)); H
Set of points of Spectrum of Integer Ring defined over Rational Field
sage: phi = H(f); phi
Affine Scheme morphism:
From: Spectrum of Rational Field
To: Spectrum of Integer Ring
Defn: Ring Coercion morphism:
From: Integer Ring
To: Rational Field
Set of points on X defined over the base ring of X, and given by explicit tuples.
Set of points on X defined over the base ring of X, and given by explicit tuples.