"Source: Text/Geometry/CrvMod.text";
"Line: 79";
"Date: Wed Jun  8 13:45:19 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/CrvMod.text, line: 79
// Example: H137E1 ()
print "Example: H137E1";
ei := GetEchoInput();
SetEchoInput(true);
FF := FiniteField(NextPrime(10^6));
A2 := AffineSpace(FF,2);
X0 := ModularCurve(A2,"Canonical",17);
E := EllipticCurve([FF|1,23]);
mp := ModuliPoints(X0,E); mp;
P, Q := Explode(mp);
SubgroupScheme(E,P);
SubgroupScheme(E,Q);
SetEchoInput(ei);
