On Tue, 5 Jul 2022, 23:21 'Justin C. Walker' via sage-devel, <
sage-devel@googlegroups.com> wrote:
>
>
> > 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).
>
No this does not explain it. P.point_exact() should give a point defined
over the field with discriminant -7, but it gives a point over a different
field. This is wrong.
John
>
>
>
>
>
>
>
> 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
> .
>
--
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/CAD0p0K46Jci-4wz9cuhMNqi3nr002pHK97jEpv_5VRVQschbgQ%40mail.gmail.com.
