"Source: Text/Geometry/Crv.text";
"Line: 6116";
"Date: Thu May 12 11:26:16 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Geometry/Crv.text, line: 6116
// Example: H121E36 ()
print "Example: H121E36";
ei := GetEchoInput();
SetEchoInput(true);
P2<X,Y,Z> := ProjectiveSpace(Rationals(),2);
C := Curve(P2,X^7 + X^3*Y^2*Z^2 + Z^7);
Genus(C);
assert $1 eq 3;
phi := CanonicalMap(C,P2);
phi;
phi(C);
D := phi(C);
Genus(D);
assert $1 eq 0;
D := 2 * CanonicalDivisor(C);
phi2 := DivisorMap(D);
Dimension(Codomain(phi2));
assert $1 eq 5;
P5<a,b,c,d,e,f> := Codomain(phi2);
phi2(C);
Dimension(phi2(C));
assert $1 eq 1;
IsNonsingular(phi2(C));
assert $1;
SetEchoInput(ei);
