"Source: Text/Geometry/CrvEllQNF.text";
"Line: 1280";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvEllQNF.text, line: 1280
// Example: H130E12 ()
print "Example: H130E12";
ei := GetEchoInput();
SetEchoInput(true);
E := EllipticCurve([0,-1,0,-116,-520]);
Conductor(E);
assert $1 eq 1460;
ConjecturalRegulator(E);
HeegnerDiscriminants(E,-200,-100);
P := HeegnerPoints(E,-119);
P;
G := GaloisGroup( P[1] );
IsIsomorphic(G,DihedralGroup(10)); 
assert $1;
K<u> := NumberField(P[1]); 
L<v>, m := OptimizedRepresentation(K);
_<y> := PolynomialRing(Rationals());  // use 'y' for printing
DefiningPolynomial(L);
PT := Points(ChangeRing(E,L),m(u))[1];  // y-coord is defined over L
Height(PT);
SetEchoInput(ei);
