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