"Source: Text/Geometry/RieSrf.text";
"Line: 569";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/RieSrf.text, line: 569
// Example: H127E6 ()
print "Example: H127E6";
ei := GetEchoInput();
SetEchoInput(true);
Qxy<x,y> := PolynomialRing(Rationals(),2);
f := -x^7 + 2*x^3*y + y^3;
X := RiemannSurface(f);
FG := FundamentalGroup(X);
FG;
d := #FG;
&*[ FG[k] : k in [1..d-1] ]^(-1) eq FG[d];
assert $1;
[ FG[k]`Center : k in [1..d-1] ] eq DiscriminantPoints(X);
assert $1;
M := MonodromyRepresentation(X);
M;
#M eq #[ Chain`Permutation : Chain in FG | Order(Chain`Permutation) ne 1 ];
assert $1;
&and[ Chain`StartPt eq Representation(BasePoint(X))[1] : Chain in FG ];
assert $1;
SetEchoInput(ei);
