"Source: Text/Basics/FldFin.text";
"Line: 952";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/FldFin.text, line: 952
// Example: H22E2 ()
print "Example: H22E2";
ei := GetEchoInput();
SetEchoInput(true);
F7 := FiniteField(7);
F49<w> := ext< F7 | 2 >;
F<z> := ext< F49 | 2 >;
v2, i2 := VectorSpace(F, F49);
v2;
i2(z^12);
v4, i4 := VectorSpace(F, PrimeField(F));
v4;
i4(z^12);
SetEchoInput(ei);
