"Source: Text/Geometry/Crv.text";
"Line: 4848";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Crv.text, line: 4848
// Example: H124E28 ()
print "Example: H124E28";
ei := GetEchoInput();
SetEchoInput(true);
P2<x,y,z> := ProjectivePlane(FiniteField(17));
C := Curve(P2,x^5 + x^2*y^3 - z^5);
p := C ! [1,0,1];
Places(p);
P := $1[1];
P:Minimal;
TwoGenerators(P);
FC<a,b> := FunctionField(C);
TwoGenerators(P);
Place([a+16,a^2*b]);
Place([a+16,a^2*b]) eq P;
assert $1;
Place([a+16,a*b,a^2*b^2]) eq P;
assert $1;
SetEchoInput(ei);
