"Source: Text/Ring/RngOrd.text";
"Line: 5762";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 5762
// Example: H39E22 ()
print "Example: H39E22";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(Integers());
f := x^3 + x + 1;
T := Thue(f);
T;
Evaluate(T, 3, 2);
assert $1 eq 47;
Solutions(T, 4);
Solutions(T, 7);
Solutions(T, 47);
S := Solutions(T, -47 : Exact := false);
S;
[Evaluate(T, s) : s in S];
SetEchoInput(ei);
