American Citizen on Sat, 02 Dec 2023 19:20:56 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

correction to previous post


Hello everyone:

Bill asked me to make sure that the point P1 on the first curve was really transformed over via an isogeny to the other 7 curves.

I did not do this in my previous post.

Doing that , now the heights now seem to make sense as multiples of the smallest height.

= Isogenous Curves: L-series-Reg  SHA
= [1,0,0,-1473670506991667240419073314040,487857899055649012085793427889299493072289600] 586.0042 = [1,0,0,-1350882210032036138970816514040,604255810745174408864225385407951158557249600] 293.0021 = [1,0,0,-21613375759952551922130559714040,38675151136497269167819387070355078625642209600] 37504.2711 = [1,0,0,-76802094602026958682816514040,11216788650446842210221197792454992157249600] 2344.0169 = [1,0,0,3910584245041201096206610543960,3229366054013312573785301403224849373420037200] 18752.1356 = [1,0,0,-8822538010378633200216865972040,-9703116604031639452280171990115551185285698000] 18752.1356 = [1,0,0,4438136821871996939736684043660,-36328127880290265739543247394077097481682050860] 2400273.3547 = [1,0,0,-139665092896820718696935098515740,-635300473525359445488968869790600609112629919540] 2400273.3547
=
= NF init nfinit(a^2 - 5879094002709584654188067784965) for x = 990529152804881 =   for point p1 [990529152804881, Mod(1/2*a - 990529152804881/2, a^2 - 5879094002709584654188067784965)]
=   mapped to the 8 curves above
= Heights:
=   1  69.462661097568452675010358103720853484
=   2 138.92532219513690535002071620744170697
=   3 277.85064439027381070004143241488341394
=   4 277.85064439027381070004143241488341394
=   5 138.92532219513690535002071620744170697
=   6 138.92532219513690535002071620744170697
=   7 277.85064439027381070004143241488341394
=   8 277.85064439027381070004143241488341393
=   relative: 1,2,4,4,2,2,4,4
=  which does NOT match the above for points in Q

However I have noticed from time to time when mapping points to an isogenous curve, that sometimes a smaller point (1/2 height) might exist.

Until I find the MW Generator for the 2nd curve above, I am not yet sure how to sort out the L-series regulator height (+SHA)

Thank you for taking note of my correction.

Well, this means that I am 1/2 way home, as far as my goal of moving an algebraic points across isogenous curves, but as to obtaining a solid reliable indicator.. things are not matching up.

Has anyone in elliptic curve theory looked at this problem in this way?

Randall