"Source: Text/Geometry/Scheme.text";
"Line: 4685";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Scheme.text, line: 4685
// Example: H119E29 ()
print "Example: H119E29";
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);
