Skip to content

Points on an elliptic curve over an extension field lie in the wrong point homset #37427

@pjbruin

Description

@pjbruin

In Sagemath 10.3.beta8:

sage: R.<x> = QQ[]
sage: K.<a> = NumberField(x^2 + x - 24)
sage: E = EllipticCurve('37a')
sage: X = E(K)
sage: P = X([3, a])
sage: P in X
False
sage: P.parent() == X
False

This is related to the fact that K is not the base field QQ of the curve, and we do get the correct output for points over QQ:

sage: Q = E(QQ)([0, 0])
sage: Q in E(QQ)
True

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions