"Source: Text/Incidence/Plane.text";
"Line: 962";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Plane.text, line: 962
// Example: H154E6 ()
print "Example: H154E6";
ei := GetEchoInput();
SetEchoInput(true);
P := FiniteProjectivePlane(8);
NumberOfLines(P);
assert $1 eq 73;
Order(P);
assert $1 eq 8;
pRank(P);
assert $1 eq 28;
pRank(P, 2);
assert $1 eq 28;
pRank(P, 3);
assert $1 eq 72;
pRank(P, 5);
assert $1 eq 73;
SetEchoInput(ei);
