Ask Your Question
1

Forming a polytope from only its combinatorial data

asked 2016-08-04 06:33:56 -0500

updated 2017-01-05 15:20:22 -0500

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

1 answer

Sort by » oldest newest most voted
1

answered 2016-08-05 13:17:59 -0500

Saul Schleimer gravatar image

updated 2016-08-05 13:19:12 -0500

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

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 06:33:56 -0500

Seen: 390 times

Last updated: Aug 05 '16