"Source: Text/Ring/FldFunAb.text";
"Line: 1610";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunAb.text, line: 1610
// Example: H47E7 ()
print "Example: H47E7";
ei := GetEchoInput();
SetEchoInput(true);
k<w> := GF(4);
kt<t> := PolynomialRing(k);
ktx<x> := PolynomialRing(kt);
K := FunctionField(x^3-w*t*x^2+x+t);
lp := Places(K, 2);
e := [Random(K, 3) : i in lp];
m := [i : i in [1..#lp]];
D := &+ [ m[i]*lp[i] : i in [1..#lp]];
x := StrongApproximation(D, [<lp[i], e[i]> : i in [1..#lp]]);
[Valuation(x-e[i], lp[i]) : i in [1..#lp]];
SetEchoInput(ei);
