"Source: Text/Ring/FldFunG.text";
"Line: 1900";
"Date: Fri Sep 26 13:15:42 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldFunG.text, line: 1900
// Example: H46E15 ()
print "Example: H46E15";
ei := GetEchoInput();
SetEchoInput(true);
Qt<t> := FunctionField(Rationals());
Qtx<x> := PolynomialRing(Qt);
f := x^9 - 3*x^7 + (-6*t - 6)*x^6 + 3*x^5 + (12*t - 6)*x^4 + 
(12*t^2 - 84*t + 11)*x^3 + (-6*t - 6)*x^2 + (-12*t^2 + 12*t + 24)*x - 
8*t^3 - 24*t^2 - 24*t - 6;
time GeometricGaloisGroup(f);
f := x^6 + t^6 - 1; 
HilbertIrreducibilityCurves(f);
SetEchoInput(ei);
