Ask Your Question
1

Forming a polytope from only its combinatorial data

asked 2016-08-04 13:33:56 +0100

renderusefulless gravatar image

updated 2017-01-05 22:20:22 +0100

FrédéricC gravatar image

I would like to visualize a polytope given only its face lattice, i.e. something like

{1}, {2}, {3}, {4}, {1, 2}, {2, 3}, {3, 4}, {4, 1}, {1, 2, 3, 4}

for a square.

Is that possible in sage?

edit retag flag offensive close merge delete

2 Answers

Sort by » oldest newest most voted
2

answered 2016-08-05 20:17:59 +0100

Saul Schleimer gravatar image

updated 2016-08-05 20:19:12 +0100

If by "visualize" you mean "give a geometric realization of" then I think that the answer should be "no" as I rather suspect that there are high-dimensional combinatorial polytopes that have no geometric realization. Even for three-dimensional polytopes the realization problem is delicate - there are even several layout algorithms for planar graphs. (There is at least one such implemented in sage - see:

http --- fix --- doc.sagemath.org/html/en/reference/plotting/sage/graphs/graph_plot.html

). On the other hand, if you want to see the face poset in a graphical way, this is much easier. For example see this post:

https --- fix --- sheaves.github.io/Subgroup-Lattice/

and pay attention to the "plot" method of a Poset.

edit flag offensive delete link more
1

answered 2019-08-27 18:22:20 +0100

Jonathan Kliem gravatar image

updated 2019-08-27 22:28:23 +0100

From Sage version 8.9+ there will be CombinatorialPolyhedron, which can be initialized with a list of facets, as

CombinatorialPolyhedron([[1,2], [2,3], [3,4], [4,1]])

With this object you have a face iterator, the face lattice and some other methods. I don't know if that helps.

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-08-04 13:33:56 +0100

Seen: 752 times

Last updated: Aug 27 '19