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