"Source: Text/RepThy/GalRep.text";
"Line: 399";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/RepThy/GalRep.text, line: 399
// Example: H57E7 ()
print "Example: H57E7";
ei := GetEchoInput();
SetEchoInput(true);
_<x>:=PolynomialRing(Rationals());
p:=10007;
K:=pAdicField(p,20);
_<X>:=PolynomialRing(K);
C:=HyperellipticCurve(X^5+X+1); C;
k:=ResidueClassField(Integers(K));
_<X>:=PolynomialRing(k);
Ck:=HyperellipticCurve(X^5+X+1); 
ap:=p+1-#Ck; ap;
A:=UnramifiedRepresentation(K,4,1,1-ap*x);
A;
A*A;
EulerFactor(A*A+1/CyclotomicCharacter(K));
SetEchoInput(ei);
