Page 1 of 1

Facetings of a polyhedron

Posted: Sun May 01, 2022 4:24 pm
by guy
Hi Rob,
Long time no see. Off and on I have been working on the underlying theory of polytopes, with a view to applying it to stellations and facetings. Now that I have at last got there, I am interested in enumerating the facetings of the regular dodecahedon in particular. (I published its faceting diagram along with several others a good many years ago, in the Mathematical Gazette).
Your current info on Great Stella says that users can step through the allowed facetings, according to the rules selected. Are these just the rules for the dual stellations, or have you developed a set of rules directly applicable to facetings? Is there such a thing as a count of the permitted facetings, other than the count of the permitted stellation cell sets? This is particularly relevant, as some distinct facetings yield the identical cell set for the dual stellation.

Re: Facetings of a polyhedron

Posted: Mon May 02, 2022 10:51 am
by robertw
Hi Guy,

No the faceting criteria are not related to the stellation criteria at all. It's all specific to faceting. It finds all possible facets, and then enumerates valid combinations of them.

The available criteria can be see in the menu below. I think "tidy" facetings may have been your term?

Image

For the dodecahedron, I get the following results:
  • Tidy Facetings - 24 facetings, which includes 1 chiral and one compound of two chiral halves
  • Tidy Facetings and Duals - 22 facetings, which includes 1 chiral and one compound of two chiral halves
A description of the manu items above can be found here: https://www.software3d.com/StellaManual ... #autoFacet

Re: Facetings of a polyhedron

Posted: Mon May 02, 2022 11:35 am
by guy
Thank you.
There seems to be a more or less "unlimited" option in there, excellent. Now I just need to get to grips with WINE.

Yes, "tidy" is a term I introduced, but the whole point of it is that it has no rigorous definition - it is a rag-bag of intuitive notions, which sometimes lead to paradoxes. I have since found out that abstract polytope theory has the equivalent term "faithful", as in a faithful realization of the abstract structure (It wasn't meant to be an intuitive mess, but it turned out that way; abstract theorists found that they differed significantly among themselves, on their criteria for faithfulness).