"Source: Text/Geometry/Scheme.text";
"Line: 4731";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Scheme.text, line: 4731
// Example: H122E29 ()
print "Example: H122E29";
ei := GetEchoInput();
SetEchoInput(true);
P2<X,Y,Z>:=ProjectiveSpace(Rationals(),2);
C:=Curve(P2,X^2+Y^2-17*Z^2);
Qp:=pAdicField(2,20);
bl,P:=IsEmpty(C(Qp));
LiftPoint(P,15);
SetEchoInput(ei);
