# How do I implement plantri in sagemath

I am using sagemath -7.3 and I have recently added the package "plantri-4.5" to my packages.

I want to generate all planar graphs that have connectivity (κ=3). I want to have an initial graph G0 with 4 vertices, which we know is the complete graph on 4 vertices (K_4).

Then, I want all planar graphs on 4 vertices that is 3−connected.

Then, I want all planar graphs on 5 vertices that is 3−connected.

Than, I want all planar graphs on 6 vertices that is 3−connected.

I would like to ensure that I am actually obtaining ALL graphs that have the above criteria.

My goal is to obtain up to n=15,all planar graphs of connectivity, κ=3. I mean of course vertex connectivity as well.

I have been looking at Plantri as a way to do this, as they claim to have this ability.

Though I am having issues actually using this program within the sage terminal (Linux: Ubuntu base with cinnamon 16.0).

Does anyone have any suggestions on how to use plantri in the sage environment?

edit retag close merge delete

Sort by » oldest newest most voted

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

more

EXCELLENT!!! I did what you said, works great.

( 2016-10-04 20:24:50 +0200 )edit

Great !

( 2016-10-04 21:10:13 +0200 )edit

So I had this working, but had to change computers. Now I get this error:

TypeError: the optional plantri package is not installed


Then when I try sage -i plantri in

jonathan@Field-Phys-Math ~/SageMath \$ sage -i plantri
make: *** No rule to make target 'all-toolchain'.  Stop.


My version is SageMath version 7.5.1, Release Date: 2017-01-15

What is the deal?

( 2017-04-18 18:11:15 +0200 )edit

@fieldofnodes I'm having the same issue now, as well!

( 2017-05-15 21:53:36 +0200 )edit

@fieldofnodes I submitted a Support Request to SageMath Cloud about this and received a response today. Someone said that the plantri package was somehow not installed but it has been fixed. Now, this works for me.

( 2017-05-16 18:09:08 +0200 )edit