"Source: Text/Ring/FldFunG.text";
"Line: 7456";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 7456
// Example: H46E40 ()
print "Example: H46E40";
ei := GetEchoInput();
SetEchoInput(true);
k<w> := GF(9);
R<x> := FunctionField(k);
P<y> := PolynomialRing(R);
f := y^4 + (2*x^5 + x^4 + 2*x^3 + x^2)*y^2 + x^8 
     + 2*x^6 + x^5 +x^4 + x^3 + x^2;
F<a> := FunctionField(f);
Genus(F);
assert $1 eq 7;
P1 := RandomPlace(F, 1);
P2 := RandomPlace(F, 1);
D := P1 - P2;
D;
IsPrincipal(336*D);
assert $1;
infty := Poles(F!x)[1];
V, h := RiemannRochSpace(11*infty);
V;
h;
B := h(Basis(V));                       
B;
(B[2] + 2*B[3])@@h;
SetEchoInput(ei);
