Re: [sage-devel] potential bug for calculating Heegner points

['Justin C. Walker' via sage-devel]

> On Jul 5, 2022, at 07:00 , Debanjana <tul...@gmail.com> wrote:
> 
> sage: E = EllipticCurve('11a1')
> sage: P = E.heegner_point(-7)
> sage: t = P.point_exact()
> sage: t.domain()
> Spectrum of Number Field in a with defining polynomial x^2 + x + 20
> sage: t.domain().base_ring().discriminant()
> -79
> 
> The answer should be -7 but Sage gives -79

I think what you are doing with this line:
    t.domain().base_ring().discriminant()
is computing the discriminant of the base ring of t, i.e., the quadratic field 
associated to the curve E.

This gives you what you want:
    P.discriminant()
(i.e., -7).

HTH

Justin

--
Justin C. Walker, Curmudgeon at Large
Director
Institute for the Enhancement of the Director's income
-----------
--
They said it couldn't be done, but sometimes,
it doesn't work out that way.
  - Casey Stengel
--



-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9025D9A8-5E0F-42C9-AD1D-8B73F0E5BB5B%40mac.com.