"Source: Text/Geometry/CrvEllFldFun.text";
"Line: 1049";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllFldFun.text, line: 1049
// Example: H134E6 ()
print "Example: H134E6";
ei := GetEchoInput();
SetEchoInput(true);
K<t> := FunctionField(GF(5));
E := EllipticCurve([t^9+t^2, t^14+t^4+t^3]);
h2 := BettiNumber(E, 2);
N := FrobeniusActionOnTrivialLattice(E);
[h2, h2 - NumberOfRows(N)];
nop := NumbersOfPointsOnSurface(E, 5);
traces := [ nop[i] - 1 - 25^i - 5^i*Trace(N^i) : i in [1..5] ];
CharacteristicPolynomialFromTraces(traces);
SetEchoInput(ei);
