"Source: Text/Geometry/ModAbVar.text";
"Line: 6965";
"Date: Fri Sep  9 15:10:23 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/ModAbVar.text, line: 6965
// Example: H145E99 ()
print "Example: H145E99";
ei := GetEchoInput();
SetEchoInput(true);
A := JZero(11);
G := Kernel(nIsogeny(A,2));
G;
x := G.1;
ApproximateOrder(Sqrt(2)*x);
// 175568277047523 previously
ApproximateOrder(1.000000000000001*x);
assert $1 eq 2;
Degree(x);
assert $1 eq 2;
FieldOfDefinition(x);
FieldOfDefinition(0*x);
Order(x);
assert $1 eq 2;
SetEchoInput(ei);
