"Source: Text/Incidence/Graph.text";
"Line: 4834";
"Date: Fri Sep 26 12:10:10 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Incidence/Graph.text, line: 4834
// Example: H162E17 ()
print "Example: H162E17";
ei := GetEchoInput();
SetEchoInput(true);
G := Graph< 5 | [ {2, 3, 5}, {1, 5}, {1}, {}, {1, 2} ] >;
G;
IsConnected(G);
assert not $1;
IsPlanar(G);
assert $1;
Faces(G);
Embedding(G);
Embedding(VertexSet(G)!1);
G := Graph< 6 | [ {3, 4, 5}, {3, 4, 5, 6}, {1, 2, 5, 6},
{1, 2, 5, 6}, {1, 2, 3, 4, 6}, {2, 3, 4, 5} ] >;
G;
IsPlanar(G);
assert not $1;
b, O := IsPlanar(G);
IsSubgraph(G, O);
assert $1;
O;
IsHomeomorphic(O : Graph := "K33");
assert $1;
SetEchoInput(ei);
