Talk:D4 polytope