"Source: Text/Incidence/Plane.text";
"Line: 2408";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Plane.text, line: 2408
// Example: H154E12 ()
print "Example: H154E12";
ei := GetEchoInput();
SetEchoInput(true);
P := FiniteProjectivePlane(3);
G, Y, W := CollineationGroup(P);
H := Stabilizer(G, Y, Points(P)[1]);
H;
H eq CollineationGroupStabilizer(P, 1);
assert $1;
lines := {m : m in Lines(P) | Points(P)[1] in m};
l := Random(lines);
l ^ H;
Stabilizer(G, W, Lines(P)[1]); 
SetEchoInput(ei);
