"Source: Text/Geometry/Crv.text";
"Line: 5860";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/Crv.text, line: 5860
// Example: H124E35 ()
print "Example: H124E35";
ei := GetEchoInput();
SetEchoInput(true);
A<x,y> := AffineSpace(GF(2,5),2);
C := Curve(A,x^7 + x^4*y^3 + x*y^2 + y);
Genus(C);
assert $1 eq 3;
Cl, _, phi := ClassGroup(C);
Cl;
Div := DivisorGroup(C);
Div eq Domain(phi);
assert $1;
D := Cl.1 @@ phi;
D;
Decomposition(D);
Degree(D);
assert $1 eq 0;
SetEchoInput(ei);
