Revision history [back]

The method P.division_points(n) gives the list of all rational points Q such that nQ = P. It works for any base field.

sage: E = EllipticCurve([1,0])
sage: P = E(0)
sage: P.division_points(2)
[(0 : 0 : 1), (0 : 1 : 0)]