"Source: Text/Geometry/CrvHyp.text";
"Line: 255";
"Date: Fri Sep 26 09:12:34 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvHyp.text, line: 255
// Example: H137E2 ()
print "Example: H137E2";
ei := GetEchoInput();
SetEchoInput(true);
P<x> := PolynomialRing(RationalField());
C := HyperellipticCurve([x^9-x^2+57,x+1]);
C1 := ChangeRing(C, GF(101));
C1;
Q<t> := PolynomialRing(GF(101));
HyperellipticPolynomials(C1);
C2, f := SimplifiedModel(C1);
HyperellipticPolynomials(C2);
P1 := C1![31,30,1];
P1;
Q := P1@f; // evaluation 
Q;
Q@@f; // pullback 
SetEchoInput(ei);
