"Source: Text/Geometry/Crv.text";
"Line: 5860";
"Date: Thu May 12 11:26:16 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Crv.text, line: 5860
// Example: H121E35 ()
print "Example: H121E35";
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);
