"Source: Text/Geometry/CrvEllQNF.text";
"Line: 787";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllQNF.text, line: 787
// Example: H133E7 ()
print "Example: H133E7";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve("5077a");
P1 := E ! [2, 0];
P2 := E ! [1, 0];
P3 := E ! [-3, 0];
assert P1+P2+P3 eq E!0; // the three points sum to zero
for p in PrimesInInterval(5,30) do pAdicHeight(P1, p); end for;
for p in PrimesInInterval(5,30) do pAdicRegulator([P1, P2], p); end for;
pAdicRegulator([P1, P2, P3], 23); // dependent points
eisen_two := EisensteinTwo(E, 13 : Precision:=40); eisen_two;
pAdicRegulator([P1, P2], 13 : Precision:=40, E2:=eisen_two);
SetEchoInput(ei);
