"Source: Text/Ring/FldFunG.text";
"Line: 8234";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 8234
// Example: H46E45 ()
print "Example: H46E45";
ei := GetEchoInput();
SetEchoInput(true);
Q := Rationals();
Qx<x> := PolynomialRing(Q);
Qxy<y> := PolynomialRing(Qx);
f1 := y^2 - (x-1)*(x-2)*(x-3)*(x-5)*(x-6);
F := FunctionField(f1);
d := Divisor(F.1) + Divisor(F!BaseRing(F).1);
V1 := DifferentialSpace(d);
d := 2*Divisor(F.1) - Divisor(F!BaseRing(F).1);
V2 := DifferentialSpace(d);
V1;
V2;
V1 meet V2;
D := DifferentialSpace(F);
v := V1 ! [2/9, 4/9]; v;
D!v;
V1!$1;
BasisOfDifferentialsFirstKind(F);
SetEchoInput(ei);
