"Source: Text/Ring/FldFunAb.text";
"Line: 987";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunAb.text, line: 987
// Example: H47E4 ()
print "Example: H47E4";
ei := GetEchoInput();
SetEchoInput(true);
Fq<w> := GF(4);
k<t> := RationalFunctionField(Fq);
R := TwistedPolynomials(k:q := 4);
R![1,1];
R![w*t, 1];
$2 * $1;
$2 * $3;
p := Places(k, 1)[2];
a := AdditivePolynomialFromRoots(PolynomialRing(k).1, p
         :InfBound := 2);
a;
R, mR := RiemannRochSpace(2*p);
b := Polynomial(a);
[ Evaluate(b, mR(x)) eq 0 : x in R];
AdditivePolynomialFromRoots(PolynomialRing(k).1, p:InfBound := 2, 
  Map := func<x|Expand(x, p:RelPrec := 100)>);
SetEchoInput(ei);
