1 | initial version |
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