"Source: Text/Incidence/Graph.text";
"Line: 1596";
"Date: Mon Dec  2 16:19:42 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Incidence/Graph.text, line: 1596
// Example: H158E10 ()
print "Example: H158E10";
ei := GetEchoInput();
SetEchoInput(true);
K9, V, E := CompleteGraph(9);
P := { { V | 1, 2, 3}, { V | 4, 5, 6}, { V | 7, 8, 9} };
Q := quo< K9 | P >;
Q;
SetEchoInput(ei);
