Revision history [back]

Is there a way to check if two planar graphs (so plane graphs embedded in the 2-sphere) are isomorphic as planar graphs? The standard is_isomorphic() function does not care about planarity. Since one of the two graphs is obtained by another planar graph after some edge deletions, the get_embedding() does not appear to work! Thanks!