Talk:D7 polytope