Ask Your Question

Isomorphisms of 2-skeletons of polytopes

asked 2015-08-13 02:19:02 -0500

guillermo gravatar image

Hi there,

We are interested in checking whether the 2-skeletons of two distinct polytopes are isomorphic (as posets). We understand that we can get the face_lattice of each of the polytope, but we don't know who to produce a poset which contains the 2-skeleton for each polytope so that we can use the function is_isomorphic for posets?

Thank you in advance, and regards, Guillermo

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2015-08-13 02:39:28 -0500

tmonteil gravatar image

You can restrict the face_lattice poset by using the subposet method to restrict the poset to elements corresponding to 0-faces, 1-faces and 2-faces as follows: if P is your polytope, you can do:

sage: PP = P.face_lattice()
sage: P2 = PP.subposet(P.faces(0)+P.faces(1)+P.faces(2))

Then, if you do the same with another polytope Q, you can then check:

sage: P2.is_isomorphic(Q2)
edit flag offensive delete link more


It could make sense to have a .skeleton() method, by the way...

Nathann gravatar imageNathann ( 2015-08-13 02:43:20 -0500 )edit

Great! Thanks a lot.

guillermo gravatar imageguillermo ( 2015-08-13 02:57:28 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2015-08-13 02:19:02 -0500

Seen: 43 times

Last updated: Aug 13 '15