Isomorphisms of 2-skeletons of polytopes

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 close merge delete

Sort by ยป oldest newest most voted

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)

more

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

( 2015-08-13 09:43:20 +0200 )edit

Great! Thanks a lot.

( 2015-08-13 09:57:28 +0200 )edit