|
Bill Allombert on Mon, 11 Dec 2023 16:52:34 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: getting strange ellheight() error for number field point and curve
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: getting strange ellheight() error for number field point and curve
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Mon, 11 Dec 2023 16:52:29 +0100
- Delivery-date: Mon, 11 Dec 2023 16:52:34 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1702309950; bh=7PW+KckDYgozU8KalSv/oSomu7pbjtU0VY/BCBRoqs4=; h=Date:From:To:Subject:References:In-Reply-To:From; b=pUwmwvThx71041mGXJQ0WJY2fT0PbvhlUMgk7HnxO1QrP3IydtcJM6Vn34Kd6zjB5 1nHC01nJem89jUeBuBp43QkQgYNCodNpEhf3n1mOHcADFpW69QsEvEn4i1VZ1tzuKt DAL5aifB9YPIwnniM2D2ZbxeND2fMsox5avlX8ji7jnCKXdSuugOaVPjX308icT8G/ 20KPkDrLOU31IEWON/AZgGp3FXU1cqrO4ZezcKkEFNUSPEzxA89lc+aL2QpE4k/K0j GURXEBdBE7oIPIpZ3hB5EPzxFjiX0zAXpIJ48jTEcNIcEqDyXmlz94/prk/t+/Sxe6 /I+Ehq5WPntFiw51gmMaz8IWX9TJrgFNelkpmUTfjzB4jM1JjMfKxsZHEy0u7ozNH3 4z71GkAmkUEMpZE+EGrR/gmjc7RqnwRmY+QZOUUtCzK8BZDxRyyo7Xk0nuRy25SRP8 u5C5VBk5h8/oYyp8whtnwY8vyS31OB5t0BTo7sdhcYvC/xFkGnJ6+F6SEUcGsLq/wj itJe9e0iiRHxFrT7lkAgyVRlO+F8QE5Zo8iIDTiRNJ2RmjGv9uRE53t1a5bwQrE5hk 3nRHPYaS69Hrpyq0PV1GGnJcEt7oV3SQpybRH5mPOykz3YL57fy/Ir3Zxen01ee2Ij S+Nb+a50CMn/HQf88A4i8H5s=
- In-reply-to: <CAD0p0K7Tnv9OuUn+tM6q5fs3iOyfuH3rOwQhkb09UJhgfwDd8A@mail.gmail.com>
- Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
- References: <4575f108-fc0a-446e-a76b-3bfd641d94c7@gmail.com> <ZW+lRdWZKO8X236U@seventeen> <ZXYTZ+dcy7J/Rwy1@seventeen> <CAD0p0K7w95SGp5b9KAAj_O_zcCy9OuQ56YCfxXQaFkeHW_nVtA@mail.gmail.com> <ZXb6dyGukH7/z55y@seventeen> <CAD0p0K6MQU1n4CGV927n_D4OyQuGYam0U-A4iH6HJ5k078q8cQ@mail.gmail.com> <ZXcWLXafQv2lXExC@seventeen> <CAD0p0K7Tnv9OuUn+tM6q5fs3iOyfuH3rOwQhkb09UJhgfwDd8A@mail.gmail.com>
On Mon, Dec 11, 2023 at 03:24:09PM +0100, John Cremona wrote:
> Here is one:
>
> https://www.lmfdb.org/EllipticCurve/2.2.85.1/180.1/o/1
Thanks ! So with PARI 2.15.4:
K = bnfinit(Polrev([-21, -1, 1]));
E = ellinit([Polrev([0,1]),Polrev([0,0]),Polrev([1,0]),Polrev([-2154,423]),Polrev([45890,-8980])], K);
P=[-13* x + 69 , 104* x - 548 ];
ellisoncurve(E,P)
ellheight(E,P)
%4 = 1
%5 = 0.32253134747871300961804811416751832019
which is in accordance with the height given in the LMFDB,
however this version gives a wrong result for 20.P:
? ellheight(E,ellmul(E,P,20))/20^2
%5 = 0.31703828603537246116107188798290569166
(the master branch give the correct result).
I will check the other curves later!
Cheers,
Bill