Ticket #9302 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

Heegner point_exact is wrong for 5077a with discriminant -7

Reported by: was Owned by: cremona
Priority: major Milestone: sage-4.5.2
Component: elliptic curves Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers: William Stein
Authors: Robert Bradshaw Merged in: sage-4.5.2.alpha0
Dependencies: Stopgaps:

Description 

sage: E = EllipticCurve('5077a')
sage: E.heegner_discriminants(100)
[-3, -4, -7, -19, -40, -47, -55, -59, -71, -79, -84, -88]
sage: P = E.heegner_point(-7)
sage: P.numerical_approx(prec=100)
(0 : 1.0000000000000000000000000000 : 0)
sage: P.point_exact(prec=100)
(0 : 2 : 1)

But point_exact should be the point at infinity.

Attachments

9302-heegner.patch Download (1.6 KB) - added by robertwb 3 years ago.

Change History

Changed 3 years ago by robertwb

comment:1 Changed 3 years ago by robertwb

  • Status changed from new to needs_review

comment:2 Changed 3 years ago by was

  • Status changed from needs_review to positive_review

comment:3 Changed 3 years ago by davidloeffler

  • Reviewers set to William Stein
  • Authors set to Robert Bradshaw

comment:4 Changed 3 years ago by mpatel

  • Status changed from positive_review to closed
  • Resolution set to fixed
  • Merged in set to sage-4.5.2.alpha0
Note: See TracTickets for help on using tickets.