"Source: Text/Geometry/Scheme.text";
"Line: 4597";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Scheme.text, line: 4597
// Example: H122E26 ()
print "Example: H122E26";
ei := GetEchoInput();
SetEchoInput(true);
P2<X,Y,Z> := ProjectiveSpace(Rationals(),2);
C := Curve(P2,X^2+Y^2);
IsEmpty(C(pAdicField(2,20)));
IsEmpty(C(pAdicField(2,20)):Smooth);
assert $1;
K<i> := NumberField(PolynomialRing(Rationals())![1,0,1]);
CK := BaseChange(C,K);
p := (1+i)*IntegerRing(K);
Kp,toKp := Completion(K,p);
CKp := PointSet(CK,toKp);
IsEmpty(CKp:Smooth);
SetEchoInput(ei);
