Ask Your Question

Revision history [back]

plantri is integrated to Sage via the graphs.planar_graphs generator, see the following for the documentation:

sage: graphs.planar_graphs?

In your case, you can iterate like this:

sage: for G in graphs.planar_graphs(6, minimum_connectivity=3):
....:     plot(G)

You can check:

sage: list(graphs.planar_graphs(4, minimum_connectivity=3))[0].is_isomorphic(graphs.CompleteGraph(4))
True