User:Tomruen/Gosset semiregular polytope