"Source: Text/Geometry/RieSrf.text";
"Line: 752";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/RieSrf.text, line: 752
// Example: H127E9 ()
print "Example: H127E9";
ei := GetEchoInput();
SetEchoInput(true);
Qxy<x,y> := PolynomialRing(Rationals(),2);
f := x^4*y^8 - x - y^8 + y^2 + 1;
Chains := MonodromyRepresentation(f);
MonRep := [ Ch`Permutation : Ch in Chains ];
MonRep;
MonGroup := PermutationGroup< Degree(f,2) | MonRep >;
IsTransitive(MonGroup);
#MonGroup;
Cycles, IntersectionMatrix := HomologyBasis(MonRep);
Cycles[20];
Chains[4]^3 * Chains[1]^3;
SetEchoInput(ei);
