"Source: Text/Incidence/Graph.text";
"Line: 5894";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Graph.text, line: 5894
// Example: H162E21 ()
print "Example: H162E21";
ei := GetEchoInput();
SetEchoInput(true);
g := KCubeGraph(8);
IsVertexTransitive(g);
assert $1;
IsEdgeTransitive(g);
assert $1;
IsSymmetric(g);
assert $1;
IsDistanceTransitive(g);
assert $1;
IntersectionArray(g);
q := 9;
P := FiniteProjectivePlane(q);
X := IncidenceGraph(P);

Order(X);
assert $1 eq 182;
Valence(X);
assert $1 eq 10;
Diameter(X);
assert $1 eq 3;
Girth(X);
assert $1 eq 6;
O1 := OrbitsPartition(X);
IsSymmetric(X);
assert $1;

Labels := [ "a" : i in [1..96] ];
#Labels;
assert $1 eq 96;
AssignLabels(VertexSet(X), Labels);
O2 := OrbitsPartition(X);
O2 eq O1;
assert not $1;
IsSymmetric(X);
assert not $1;
SetEchoInput(ei);
