How should we represent hyperspheres above 9D in rotatopes?
Listing them as individual numbers is very nice for shorthand. The obvious choice would be to explicitly say 13x6x2 or whatever, but that unnecessarily complicates rotatopes that don't have any hyperspheres above 9D.