search

SupposeNot / RAMP

Research Assistant for Maps and Polytopes
4 stars 0 forks source link

Add support for skeletal polyhedra #34

Open CunningGabe opened 3 years ago

CunningGabe commented 3 years ago

I think this wouldn't be too hard...

SupposeNot commented 3 years ago

What would it mean to have this support?

CunningGabe commented 3 years ago

Mostly I guess I'm thinking of a representation of a concrete skeletal polyhedron -- i.e. a set of points in your favorite dimension of Euclidean space, along with a poset built up from there. (edges as sets of points, faces as sets of edges, etc). Then be able to find the geometric symmetry group. But also be able to extract the abstract polytope from it.

Or possibly, provide a geometric symmetry group and some seed data and then build an appropriate polyhedron.

This is motivated by the fact that I'm working on some skeletal polyhedra with Daniel, and some of the tedious case-checking could really be done by a computer. e.g. given the vertices of a truncated cube, what are all of the ways of picking two edge-orbits of such-and-such sizes so that you get a connected graph? Now pick faces. etc.

SupposeNot commented 1 year ago

I think I may try to take a stab at this one soon.

mecejide commented 1 year ago

What about skeletal polytopes in higher dimensions?

CunningGabe commented 1 year ago

What about skeletal polytopes in higher dimensions?

I think we definitely want those too, eventually!