"Source: Text/Ring/FldFunG.text";
"Line: 7410";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldFunG.text, line: 7410
// Example: H45E40 ()
print "Example: H45E40";
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);
