"Source: Text/Geometry/SmallModCrv.text";
"Line: 728";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/SmallModCrv.text, line: 728
// Example: H141E5 ()
print "Example: H141E5";
ei := GetEchoInput();
SetEchoInput(true);
C := SmallModularCurve(14);
rats := NonCuspidalQRationalPoints(C,14);
rats;
jInvariant(rats[1],14);
assert $1 eq 16581375;
jNInvariant(rats[1],14);
assert $1 eq -3375;
jInvariant(rats[2],14);
assert $1 eq -3375;
jNInvariant(rats[2],14);
assert $1 eq 16581375;
G,E := SubgroupScheme(rats[2],14);
E;
G;
jInvariant(E);
assert $1 eq -3375;
phi := Isogeny(rats[2],14);
phi;
F := Codomain($1);
jInvariant(F);
assert $1 eq 16581375;
SetEchoInput(ei);
