Talk:E7 polytope