"Source: Text/Basics/FldFin.text";
"Line: 1617";
"Date: Fri Jun 23 23:00:02 2017";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Basics/FldFin.text, line: 1617
// 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);
