"Source: Text/Incidence/Plane.text";
"Line: 781";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Plane.text, line: 781
// Example: H154E4 ()
print "Example: H154E4";
ei := GetEchoInput();
SetEchoInput(true);
K<w> := GF(4);
P, V, L := FiniteProjectivePlane(K);
S := sub< P | [ V | [1, 0, 0], [0, 1, 0], [0, 0, 1], [1, w, 1] ] >;
S: Maximal;
A := FiniteAffinePlane(4);
S := SubfieldSubplane(A, GF(2));   
S: Maximal;
S subset A;
assert $1;
SetEchoInput(ei);
