"Source: Text/Incidence/Graph.text";
"Line: 3367";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Graph.text, line: 3367
// Example: H162E12 ()
print "Example: H162E12";
ei := GetEchoInput();
SetEchoInput(true);
G := Graph< 11 |
{1, 3}, {1, 4}, {1, 7}, {1, 11}, {1, 2},
{2, 4}, {2, 3},
{3, 4},
{4, 7}, {4, 11}, {4, 7}, {4, 5},
{5, 10}, {5, 9}, {5, 8}, {5, 6},
{6, 8}, {6, 7},
{7, 8},
{9, 11}, {9, 10},
{10, 11}: SparseRep := true >;
TS, PS := Splitcomponents(G);
TS;
PS;
G1 := sub< G | TS[1] >;
IsTriconnected(G1);
assert not $1;
AddEdge(~G1, Index(VertexSet(G1)!VertexSet(G)!5), 
      Index(VertexSet(G1)!VertexSet(G)!7));
IsTriconnected(G1);
assert $1;
SetEchoInput(ei);
