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