"Source: Text/Incidence/Graph.text";
"Line: 5894";
"Date: Mon Dec  2 16:19:42 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Graph.text, line: 5894
// Example: H158E21 ()
print "Example: H158E21";
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);
