The IsPlanar command returns true if the graph is planar and false otherwise. If a name such as faces is specified, then this name is assigned the set of lists of the vertices of each face of the graph. The strategy is to use an algorithm by Demoucron, etc. (see Algorithmic Graph Theory by Alan Gibbons).
K4 ≔ CompleteGraph⁡4
K4≔Graph 1: an undirected unweighted graph with 4 vertices and 6 edge(s)
P ≔ PetersenGraph⁡
P≔Graph 2: an undirected unweighted graph with 10 vertices and 15 edge(s)
Download Help Document
What kind of issue would you like to report? (Optional)