Wrapper for Boyer’s (C) planarity algorithm.¶
-
sage.graphs.planarity.
is_planar
(g, kuratowski=False, set_pos=False, set_embedding=False, circular=False)¶ Calls Boyer’s planarity algorithm to determine whether g is planar. If kuratowski is False, returns True if g is planar, False otherwise. If kuratowski is True, returns a tuple, first entry is a boolean (whether or not the graph is planar) and second entry is a Kuratowski subgraph, i.e. an edge subdivision of \(K_5\) or \(K_{3,3}\) (if not planar) or
None
(if planar). Also, will set an_embedding
attribute for the graphg
ifset_embedding
is set to True.INPUT:
kuratowski
– IfTrue
, return a tuple of a boolean and eitherNone
or a Kuratowski subgraph (i.e. an edge subdivision of \(K_5\) or \(K_{3,3}\))set_pos
– ifTrue
, uses Schnyder’s algorithm to determine positionsset_embedding
– ifTrue
, records the combinatorial embedding returned (see g.get_embedding())circular
– ifTrue
, test for circular planarity
EXAMPLES:
sage: G = graphs.DodecahedralGraph() sage: from sage.graphs.planarity import is_planar sage: is_planar(G) True sage: Graph('@').is_planar() True