"Source: Text/Geometry/RieSrf.text";
"Line: 673";
"Date: Thu Sep 25 14:47:45 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Geometry/RieSrf.text, line: 673
// Example: H127E7 ()
print "Example: H127E7";
ei := GetEchoInput();
SetEchoInput(true);
Qxy<x,y> := PolynomialRing(Rationals(),2);
f := -x^7 + 2*x^3*y + y^3;
X := RiemannSurface(f);
HolomorphicDifferentials(X);
f_trans := Evaluate(f,[x+1,y]);
X_trans := RiemannSurface(f_trans);
HolomorphicDifferentials(X_trans);
BasisOfDifferentialsFirstKind(FunctionField(X));
SetEchoInput(ei);
