[math-fun] Oligomorphic polytopes