"Source: Text/Incidence/Plane.text";
"Line: 962";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Plane.text, line: 962
// Example: H150E6 ()
print "Example: H150E6";
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);
