"Source: Text/Geometry/CrvHyp.text";
"Line: 255";
"Date: Thu Aug 18 16:02:10 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvHyp.text, line: 255
// Example: H134E2 ()
print "Example: H134E2";
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);
