"Source: Text/Basics/FldFin.text";
"Line: 1627";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/FldFin.text, line: 1627
// Example: H22E4 ()
print "Example: H22E4";
ei := GetEchoInput();
SetEchoInput(true);
F7 := FiniteField(7);
F49<w> := ext< F7 | 2 >;
F<z> := ext< F49 | 2 >;
Root(z^73, 7);
Trace(z^73);
Trace(z^73, F49);
Norm(z^73);
Norm(z^73, F49);
Norm(w^37);
MinimalPolynomial(z^73);
MinimalPolynomial(z^73, F7);
Norm(z);
NormEquation(F, F7!3);
Norm(z^30, F49);
Parent(z) eq F;
NormEquation(F, w^30);
assert $1;
SetEchoInput(ei);
