- by the way, the Galois group perspective is exactly what has me so excited about this: I downplayed it in my original post because I noticed the puzzle could be stated without any Galois theory. I now believe we can get a number of interesting stellated polytopes by applying the nontrivial automorphism of ℚ[√5] to simpler ones! The simplest example is
pentagon ↦ pentagram