Talk:A7 polytope