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