"Source: Text/Geometry/CrvEllFldFun.text";
"Line: 535";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/CrvEllFldFun.text, line: 535
// Example: H134E1 ()
print "Example: H134E1";
ei := GetEchoInput();
SetEchoInput(true);
F<t> := FunctionField(GF(3));
E := EllipticCurve([ t^4 + 2*t^2, t^3 + 2*t ]);
S2E := TwoSelmerGroup(E);
S2E;
MordellWeilGroup(E);
Determinant(HeightPairingMatrix(Generators(E)));
assert $1 eq 12;
SetEchoInput(ei);
